Using GHC.TypeLits and singletons

[José Pedro Magalhães]

Hi Iavor and Richard (CC ghc-users),

If I recall correctly, Richard designed his singletons package in such a
way that it would interact nicely
with Iavor's type-level literals. Now I find myself in a situation where I
need to use both type-level literals
and singletons (basically because I'm reflecting at the value level both
naturals, strings, and more
complicated datatypes). But I see that the declarations of entities such as
Sing, SingI, etc., are
duplicated in the singletons package (seeing that they are already in GHC
7.6 within GHC.TypeLits).
My question is: how can I use these two together?


Thanks,
Pedro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20121029/0919869d/attachment-0001.htm>