[plt-dev] macro stepper question

From: Chongkai Zhu (czhu at cs.utah.edu)
Date: Wed Mar 11 13:28:28 EDT 2009

Thanks. As I noted, not only `match' but quite some expressions (most 
just sit inside some of my own macro(s) that expands to `begin' don't 
expand inside a package. I would assume they are all caused by the same 
reason.

Chongkai

Ryan Culpepper wrote:
> 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.
>
> Ryan
>
>> _________________________________________________
>> For list-related administrative tasks:
>> http://list.cs.brown.edu/mailman/listinfo/plt-dev



Posted on the dev mailing list.