On Tue, Jul 19, 2011 at 2:06 PM, Ismael Figueroa Palet <ifiguer...@gmail.com> wrote: > Hi all, I'm trying to implement some simple macros to use monads in racket > using a Haskell-like do notation. I have the following macros, and my > problem is that I want the do macro to capture the bind identifier created > by with-monad, and in each recursive step of the do macro expansion keep the > same identifier. I don't know it is possible, I tried using (with-syntax > ((bind (datum->syntax 'bind) ))) but it doesn't work.
I think the right solution here is to use syntax parameters [1]. This blog post by Eli provides a good intro: http://blog.racket-lang.org/2008/02/dirty-looking-hygiene.html [1] http://docs.racket-lang.org/reference/stxparam.html -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
