Template Haskell changes to names and package keys

Edward Z. Yang ezyang at mit.edu
Mon May 4 20:38:08 UTC 2015

Excerpts from Edward Z. Yang's message of 2015-05-03 13:22:00 -0700:
>     https://github.com/suhailshergill/liboleg/blob/57673d01c66ab9f284579a40aed059ed4617ce6c/Data/Symbolic/TypedCodeAux.hs
>     https://github.com/bitemyapp/hackage-packages/blob/fd9649f426254c0581bd976789a1c384eda0e3c9/liboleg-2010.1.10.0/Data/Symbolic/TypedCodeAux.hs
>     So, this piece of code is something that really ought to be in the
>     standard library, if it isn't already.  Basically, the problem is
>     that when you quote an identifier, e.g. [| foo |], you get the
>     *un-renamed* syntax (a variable foo) rather than the renamed syntax
>     (somepkg:Data.Foo.foo).  This is very useful, too useful to be in
>     another library.

I have to backtrack on this statement; I misinterpreted what this code
is doing; the problem here is we need a Lift instance for the Exp data
type.  We should just add this instance (or use the Data generated one).


More information about the Libraries mailing list