[plt-dev] macro stepper question

From: Ryan Culpepper (ryanc at ccs.neu.edu)
Date: Wed Mar 11 11:45:22 EDT 2009

On Mar 11, 2009, at 12:28 AM, Chongkai Zhu wrote:

> Macro step on the following code with standard hiding (or as long as  
> mzscheme syntax is hidden):
> (require scheme/package)
> (define-syntax-rule (d t)
> t)
> (match (d 1)
> (x x))
> (define-package p #:all-defined
> (match (d 1)
>   (x x)))
> The (d 1) in the top-level match expression gets expended, but the  
> same macro in the package stay unexpanded. Is this a bug?

I think 'define-package' is doing some renames in a way that escapes  
the macro stepper. I'll have an idea of what's happening and how I can  
fix it, but I haven't had time to test my hypothesis yet.


> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-dev

Posted on the dev mailing list.