Hello, I just pushed a merged version that built fine, and the simple type-nat related tests in the testsuite pass. Happy hacking, and apologies for the breakage.
-Iavor On Mon, May 20, 2013 at 10:02 AM, Iavor Diatchki <[email protected]>wrote: > Hello, > aha, I'll try to fix this some time this week, I hadn't noticed that it > was broken. It is probably because the `type-nats` branch has not been > merged with `master` in a while, so there are discrepancies between the > versions of the compiler and the libraries. > -Iavor > > > On Sun, May 19, 2013 at 2:30 AM, Takayuki Muranushi > <[email protected]>wrote: > >> Dear ghc developers, >> >> I'd like to express my most greatfulness to your work. Haskell, more >> specifically GHC is the tool of my living. >> >> Now I'm wondering how to compile the type-nats branch, as Simon PJ >> sais it should. The standard routine >> >> [nushio@myhost ~]$ git clone http://darcs.haskell.org/ghc.git/ >> Cloning into 'ghc'... >> [nushio@myhost ghc]$ cd ghc/ >> Branch type-nats set up to track remote branch type-nats from origin. >> Switched to a new branch 'type-nats' >> [nushio@myhost ghc]$ emacs mk/build.mk >> [nushio@myhost ghc]$ ./sync-all --testsuite get >> [nushio@myhost ghc]$ git checkout type-nats >> [nushio@myhost ghc]$ git branch >> master >> * type-nats >> [nushio@myhost ghc]$ ./configure >> [nushio@myhost ghc]$ make >> >> aborts with the following message: >> >> >> libraries/base/Data/Typeable/Internal.hs:295:1: >> Can't make a derived instance of 'Typeable (* -> * -> *) (->)': >> The last argument of the instance must be a data or newtype >> application >> In the stand-alone deriving instance for 'Typeable (->)' >> >> libraries/base/Data/Typeable/Internal.hs:363:1: >> Can't make a derived instance of 'Typeable * RealWorld': >> The last argument of the instance must be a data or newtype >> application >> In the stand-alone deriving instance for 'Typeable RealWorld' >> make[1]: *** [libraries/base/dist-install/build/Data/Typeable/Internal.o] >> Error 1 >> make: *** [all] Error 2 >> >> >> It seems like is related to kind-polymorphic Typeable that will >> introduced in GHC>7.6.*. Using newer GHC via hsenv also doesn't >> work. >> >> (7.7.20130409)[nushio@myhost ghc]$ ./configure >> --enable-bootstrap-with-devel-snapshot >> (7.7.20130409)[nushio@myhost ghc]$ ./sync-all --testsuite get >> ... >> fatal: reference is not a tree: 14c5a3f78c00772cf54c2fd5c920a64d53e6f594 >> Unable to checkout '14c5a3f78c00772cf54c2fd5c920a64d53e6f594' in >> submodule path 'libraries/Cabal' >> git failed: 256 at ./sync-all line 193. >> >> >> I'd appreciate if you teach me how to build type-nats branch of GHC. >> >> Best, >> >> Takayuki >> >> >> >> >> >> >> >> >> 2013/5/18 Takayuki Muranushi <[email protected]>: >> > 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 <[email protected]>: >> >> 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: [email protected] [mailto:haskell-cafe- >> >> | [email protected]] 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 >> >> | [email protected] >> >> | 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 >> > >
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
