How to build the type-nats branch

[Iavor Diatchki]

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
<iavor.diatchki at gmail.com>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 <muranushi at gmail.com>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 at myhost ~]$ git clone http://darcs.haskell.org/ghc.git/
>> Cloning into 'ghc'...
>> [nushio at 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 at myhost ghc]$ emacs mk/build.mk
>> [nushio at myhost ghc]$ ./sync-all --testsuite get
>> [nushio at myhost ghc]$ git checkout type-nats
>> [nushio at myhost ghc]$ git branch
>>   master
>> * type-nats
>> [nushio at myhost ghc]$ ./configure
>> [nushio at 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 at myhost ghc]$ ./configure
>> --enable-bootstrap-with-devel-snapshot
>> (7.7.20130409)[nushio at 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 <muranushi at gmail.com>:
>> > 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 <simonpj at 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-bounces at haskell.org [mailto:haskell-cafe-
>> >> | bounces at 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 at 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
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130520/40e615c4/attachment.htm>