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
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
