How to build the type-nats branch

Iavor Diatchki iavor.diatchki at gmail.com
Mon May 20 19:02:11 CEST 2013


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/63e43b4d/attachment.htm>


More information about the ghc-devs mailing list