Hey thanks Simon and Levor, I've reported the problem month ago, and I see today the commit-id for type-nats is still not changed. So I thought the problem remains. Let me first try the compile process again tonight, and report the compile process in more detail.
2013/5/17 Simon Peyton-Jones <simo...@microsoft.com>: > 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-boun...@haskell.org [mailto:haskell-cafe- > | boun...@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@haskell.org > | http://www.haskell.org/mailman/listinfo/haskell-cafe -- 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe