On Fri, Dec 14, 2012 at 10:47 PM, Ian Lynagh wrote: > On Fri, Dec 14, 2012 at 04:34:29PM -0500, Carter Schonwald wrote: > > A related question I have is that I've some code that will map the > > singleton Nats to Ints, and last time I looked into this/ had a chat on > the > > ghc-users list, it sounded like sometimes having Integer values > constructed > > in between are unavoidable. Is that still the case with post 7.6.1 ghc? > > (And or, how might I be able to help?) > > I don't know what a singleton Nat is, but if you mean Word then that's > what Johan's been working on. >
I'm guessing Carter means Sing Nat: http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.6.0.0/src/GHC-TypeLits.html Regards, Sean
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
