Re: [racket-users] macro hiding in raco expand

Thanks Jens and Ryan for your answers! I’ll experiment. — Éric > On Aug 10, 2020, at 11:13 AM, Ryan Culpepper wrote: > > You can use the functions from macro-debugger/expand to do this (within > limits). Here's a very rough example program that reads one term from stdin > and shows its

Re: [racket-users] macro hiding in raco expand

You can use the functions from macro-debugger/expand to do this (within limits). Here's a very rough example program that reads one term from stdin and shows its expansion with the given hiding policy (discarding hygiene information---beware). usage: racket expand.rkt < your-example-file.rkt

Re: [racket-users] macro hiding in raco expand

Hi Éric, This is a nice idea - I pondered the concept before, but today I got a little further. I am unsure whether the approach scales. You could look at nanopass too. Anyways, here is a little experiment. /Jens Axel https://racket-stories.com #lang racket (require (for-syntax syntax/parse

[racket-users] macro hiding in raco expand

Hi, I’d like to use the Racket macro expander to translate programs from a given source language to a target language (both scheme-ish). However, the expansion that `raco expand` does is too violent for my purposes---I would need a way to specify macro hiding (as in the macro stepper), in