[plt-scheme] how to write match expander?

From: Richard Cobbe (cobbe at ccs.neu.edu)
Date: Thu May 4 07:37:19 EDT 2006

On Thu, May 04, 2006 at 07:40:25AM +0000, Matthew Flatt wrote:
> The `match' macro implements its own macro expander to handle bindings
> introduced by `define-match-expander'.
> 
> That's fine in itself, but the custom macro expander doesn't do all the
> things that the expression macro expander does: use marks to track
> introduced names, propagate properties, and attach certificates.
> 
> I suspect that the custom macro expander should track introductions
> with marks, but maybe it doesn't matter. Properties probably don't
> matter. Certificates do matter, as your example shows.
> 
> MzScheme provides the machinery for doing all three in a custom
> expander. I'll adjust the implementation of match-expander to support
> certificates, and then I'll report back here to explain how it works.

Wonderful -- thanks for your help!

Richard


Posted on the users mailing list.