Thank you everyone! Iavor have kindly fixed the branch and now I can build it.
2013/5/20 Simon Peyton-Jones <simo...@microsoft.com>: > The type-nats branch *should* simply work all by itself. (You may need to > check out a corresponding branch on some other repos, though.) > > Iavor would you care to comment? > > Simon > > Microsoft Research Limited (company number 03369488) is registered in England > and Wales > Registered office 21 Station Road, Cambridge, CB1 2FB > > > | -----Original Message----- > | From: Christiaan Baaij [mailto:christiaan.ba...@gmail.com] > | Sent: 20 May 2013 09:56 > | To: Takayuki Muranushi > | Cc: Simon Peyton-Jones; haskell > | Subject: Re: [Haskell-cafe] type-level integers for GHC > | > | 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 > -- 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