Hi Günther You might want to look at Samuel Kamin's work in the first instance. This was later extended by Conal Elliott and others to use typed representations (i.e. abstract syntax) - Samuel Kamin used quasi-quoted Strings.
http://loome.cs.uiuc.edu/pubs.html Particularly these two: http://loome.cs.uiuc.edu/pubs/ml-meta-extabs.pdf http://loome.cs.uiuc.edu/pubs/ml-meta.pdf _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
