Thu Aug 9 11:35:50 CEST 2007
hygiene and the rewrite-patterns macro
It's fairly complicated, but the name bindings introduced are only:
what if i factor it into 2 parts:
a nonhygienic part that creates just the match clauses
a hygienic part that binds the function and macro names
It looks like this is sort of working. Now what about preserving
syntax information in the expression parts of the match clauses?
so the expression part can refer to lexical variables etc..
let's do that, but first see if this non-hygienic version works.
one important question: when peeling off syntax with syntax-e, and
using datum->syntax-object to put it back, is the orginal syntax that
wasn't peeled off preserved? it really has to be..
seems to work.. at least the expansion does, but i can't see what can
go wrong with the quoting..