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
