Template Haskell determinism

Richard Eisenberg eir at cis.upenn.edu
Fri Jun 3 02:09:34 UTC 2016

On Jun 2, 2016, at 7:12 AM, Simon Peyton Jones <simonpj at microsoft.com> wrote:
> But why is NameU exposed to clients?   GHC needs to know, but clients don’t.  What use are these packages making of it?
singletons uses NameU in two places:

1. To generate unique numbers. It would be easy enough for me to put this functionality in my own monad, though.

2. More importantly, to work around GHC's #11812, caused by the fact that `NameU`s don't always work when other Names would. So I have to squeeze out `NameU`s in one spot.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160602/e88785a9/attachment.html>

More information about the ghc-devs mailing list