[Haskell-cafe] type-level integers for GHC

[Simon Peyton-Jones]

I wonder why you can't compile type-nats?  It should just work.  You could email ghc-devs and Iavor (type-nats author, cc'd) explaining exactly what goes wrong. You may need the type-nats branch of some libraries, I'm not sure

Simon

Microsoft Research Limited (company number 03369488) is registered in England and Wales
Registered office 21 Station Road, Cambridge, CB1 2FB 


| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-
| bounces at haskell.org] On Behalf Of Takayuki Muranushi
| Sent: 17 May 2013 07:18
| To: haskell
| Subject: [Haskell-cafe] type-level integers for GHC
| 
| What is your recommendation for type-level integers?
| 
| I'd like to use it to improve the unittyped,
| https://bitbucket.org/xnyhps/haskell-unittyped/ the library for physical
| dimension. Therefore, I need negative numbers, additions, but
| multiplications are not necessary.
| 
| I've been looking forward for the type-nats extension of GHC, but I
| haven't been able to compile the type-nats branch. Just learned that it
| still takes a few month to merge the branch into the main.
| http://hackage.haskell.org/trac/ghc/wiki/Status/May13
| 
| Thijs, the original author of unittyped, has commited a branch that uses
| type-nats, but I can't try that out for the same reason.
| 
| 
| Best,
| --
| Takayuki MURANUSHI
| The Hakubi Center for Advanced Research, Kyoto University
| http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html
| 
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe