What works best for me is to actually merge the type-nats branch into a local checkout of master; as opposed to checking out the type-nats branch. Though you will usually have to do some (minor) conflict resolution.
-- Christiaan On May 17, 2013, at 11:13 PM, Takayuki Muranushi <muranu...@gmail.com> wrote: > 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe