Slightly off-topic: I didn't notice 'original-for-check-syntax. A few weeks ago I had problems with a missing arrows in DrRacket, and I searched for 'disappeared-use and I got http://docs.racket-lang.org/reference/stxprops.html?q=disappeared-use#%28idx._%28gentag._188._%28lib._scribblings%2Freference%2Freference..scrbl%29%29%29
I think there should be a margin note from there to http://docs.racket-lang.org/tools/Check_Syntax.html?q=disappeared-use#%28idx._%28gentag._28._%28lib._scribblings%2Ftools%2Ftools..scrbl%29%29%29 Gustavo On Mon, Jul 20, 2015 at 10:20 AM, Robby Findler <[email protected]> wrote: > On Mon, Jul 20, 2015 at 8:16 AM, Matthew Flatt <[email protected]> wrote: >> At Sun, 19 Jul 2015 15:46:07 -0700, Alexis King wrote: >>> One more thing: introducing a new scope with make-syntax-introducer seems to >>> break DrRacket’s Check Syntax arrows for the whole module. >> >> That makes sense in retrospect. Adding an extra scope makes >> `syntax-original?` produce #f for everything in whole module, and that >> makes DrRacket ignore the identifiers. > > Not sure if it is relevant, but if you put the property > 'original-for-check-syntax on an identifier, check syntax will treat > it as if it was original. > > Robby > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAL3TdOMQeBLO--bjJp12Ch8%2BSpm7VXPyRCEEu6bOwzSrKr-m8Q%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAPaha9MrT38FjSBWc2T26k8xRDZ0ydbih80jV3vRX4_S93kZwg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
