Re: [racket-users] Re: Language-provided bindings and arrows in DrRacket

2016-12-04 Thread Dupéron Georges
I think I found a solution which allows me to inject the (#%require lng) without causing conflicts with other required module: applying an extra scope to the whole body makes the other (require) forms more specific, and they can shadow bindings imported by (#%require lng). Here is the modified

Re: [racket-users] Re: Language-provided bindings and arrows in DrRacket

2016-12-04 Thread Dupéron Georges
Le dimanche 4 décembre 2016 04:18:44 UTC+1, Robby Findler a écrit : > The fully expanded form of the original program doesn't have a require > that brings in displayln? Indeed, if I use (#%require lng) the arrows get drawn. However, the body can require libraries which shadow some of the languag

Re: [racket-users] Re: Language-provided bindings and arrows in DrRacket

2016-12-03 Thread Robby Findler
The fully expanded form of the original program doesn't have a require that brings in displayln? So I'm not sure how Check Syntax could know to draw an arrow. Robby On Sat, Dec 3, 2016 at 9:11 PM, Dupéron Georges wrote: > I made a copy-paste mistake, the replacement for the last line of > "MyL