On Sun, 27 Jul 2003, Tim Sheard wrote:

At 08:22 AM 7/23/2003 +1000, you wrote:

...

So correct me if I am wrong. Quasi-quoatation is not reification because quasi-quoted code is not a data structure, it is simply another form of expression.

Quasi quoted code is sort of special. It is both a data structure and a delayed expression. When I talk of reification, I mean a way to turn a value into a quoted piece of code.

reify (pred . succ) ---> [| \ x -> x |]

This is not possible in MetaML.

Can one do case analysis on the structure of quasi-quoted code however? Sean