On Aug 25, 2012, at 3:56 PM, Ryan Culpepper wrote: > In other words, a macro's subexpressions should be used linearly (as in > "linear types"). Putting an expression in the macro's result in an expression > context counts as a use. (But putting it in the result in a quoted context > doesn't.) Calling 'local-expand' or 'syntax-local-expand-expression' on it > also counts as a use, but it gives back another linearly-restricted > expression. (The same applies to definitions; I should really say all "forms" > should be used linearly.)
Are you going to write up a tool and/or a macro-linear-type system that checks such things? ICFP is waiting -- Matthias
smime.p7s
Description: S/MIME cryptographic signature
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
