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 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 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

...

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 :

...

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-bounces@haskell.org [mailto:haskell-cafe- | bounces@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

2013/5/18 Takayuki Muranushi : 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