<div dir="ltr">Hello,<div>I just pushed a merged version that built fine, and the simple type-nat related tests in the testsuite pass.<br></div><div style>Happy hacking, and apologies for the breakage.</div><div style><br>
</div><div style>-Iavor </div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, May 20, 2013 at 10:02 AM, Iavor Diatchki <span dir="ltr"><<a href="mailto:iavor.diatchki@gmail.com" target="_blank">iavor.diatchki@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<div>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.<span class="HOEnZb"><font color="#888888"><br>
</font></span></div><span class="HOEnZb"><font color="#888888"><div>-Iavor<br></div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, May 19, 2013 at 2:30 AM, Takayuki Muranushi <span dir="ltr"><<a href="mailto:muranushi@gmail.com" target="_blank">muranushi@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear ghc developers,<br>
<br>
I'd like to express my most greatfulness to your work. Haskell, more<br>
specifically GHC is the tool of my living.<br>
<br>
Now I'm wondering how to compile the type-nats branch, as Simon PJ<br>
sais it should. The standard routine<br>
<br>
[nushio@myhost ~]$ git clone <a href="http://darcs.haskell.org/ghc.git/" target="_blank">http://darcs.haskell.org/ghc.git/</a><br>
Cloning into 'ghc'...<br>
[nushio@myhost ghc]$ cd ghc/<br>
Branch type-nats set up to track remote branch type-nats from origin.<br>
Switched to a new branch 'type-nats'<br>
[nushio@myhost ghc]$ emacs mk/<a href="http://build.mk" target="_blank">build.mk</a><br>
[nushio@myhost ghc]$ ./sync-all --testsuite get<br>
[nushio@myhost ghc]$ git checkout type-nats<br>
[nushio@myhost ghc]$ git branch<br>
master<br>
* type-nats<br>
[nushio@myhost ghc]$ ./configure<br>
[nushio@myhost ghc]$ make<br>
<br>
aborts with the following message:<br>
<br>
<br>
libraries/base/Data/Typeable/Internal.hs:295:1:<br>
Can't make a derived instance of 'Typeable (* -> * -> *) (->)':<br>
The last argument of the instance must be a data or newtype application<br>
In the stand-alone deriving instance for 'Typeable (->)'<br>
<br>
libraries/base/Data/Typeable/Internal.hs:363:1:<br>
Can't make a derived instance of 'Typeable * RealWorld':<br>
The last argument of the instance must be a data or newtype application<br>
In the stand-alone deriving instance for 'Typeable RealWorld'<br>
make[1]: *** [libraries/base/dist-install/build/Data/Typeable/Internal.o]<br>
Error 1<br>
make: *** [all] Error 2<br>
<br>
<br>
It seems like is related to kind-polymorphic Typeable that will<br>
introduced in GHC>7.6.*. Using newer GHC via hsenv also doesn't<br>
work.<br>
<br>
(7.7.20130409)[nushio@myhost ghc]$ ./configure<br>
--enable-bootstrap-with-devel-snapshot<br>
(7.7.20130409)[nushio@myhost ghc]$ ./sync-all --testsuite get<br>
...<br>
fatal: reference is not a tree: 14c5a3f78c00772cf54c2fd5c920a64d53e6f594<br>
Unable to checkout '14c5a3f78c00772cf54c2fd5c920a64d53e6f594' in<br>
submodule path 'libraries/Cabal'<br>
git failed: 256 at ./sync-all line 193.<br>
<br>
<br>
I'd appreciate if you teach me how to build type-nats branch of GHC.<br>
<br>
Best,<br>
<br>
Takayuki<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
2013/5/18 Takayuki Muranushi <<a href="mailto:muranushi@gmail.com" target="_blank">muranushi@gmail.com</a>>:<br>
> Hey thanks Simon and Levor, I've reported the problem month ago, and I<br>
> see today the commit-id for type-nats is still not changed. So I<br>
> thought the problem remains. Let me first try the compile process<br>
> again tonight, and report the compile process in more detail.<br>
><br>
> 2013/5/17 Simon Peyton-Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>>:<br>
>> 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<br>
>><br>
>> Simon<br>
>><br>
>> Microsoft Research Limited (company number 03369488) is registered in England and Wales<br>
>> Registered office 21 Station Road, Cambridge, CB1 2FB<br>
>><br>
>><br>
>> | -----Original Message-----<br>
>> | From: <a href="mailto:haskell-cafe-bounces@haskell.org" target="_blank">haskell-cafe-bounces@haskell.org</a> [mailto:<a href="mailto:haskell-cafe-" target="_blank">haskell-cafe-</a><br>
>> | <a href="mailto:bounces@haskell.org" target="_blank">bounces@haskell.org</a>] On Behalf Of Takayuki Muranushi<br>
>> | Sent: 17 May 2013 07:18<br>
>> | To: haskell<br>
>> | Subject: [Haskell-cafe] type-level integers for GHC<br>
>> |<br>
>> | What is your recommendation for type-level integers?<br>
>> |<br>
>> | I'd like to use it to improve the unittyped,<br>
>> | <a href="https://bitbucket.org/xnyhps/haskell-unittyped/" target="_blank">https://bitbucket.org/xnyhps/haskell-unittyped/</a> the library for physical<br>
>> | dimension. Therefore, I need negative numbers, additions, but<br>
>> | multiplications are not necessary.<br>
>> |<br>
>> | I've been looking forward for the type-nats extension of GHC, but I<br>
>> | haven't been able to compile the type-nats branch. Just learned that it<br>
>> | still takes a few month to merge the branch into the main.<br>
>> | <a href="http://hackage.haskell.org/trac/ghc/wiki/Status/May13" target="_blank">http://hackage.haskell.org/trac/ghc/wiki/Status/May13</a><br>
>> |<br>
>> | Thijs, the original author of unittyped, has commited a branch that uses<br>
>> | type-nats, but I can't try that out for the same reason.<br>
>> |<br>
>> |<br>
>> | Best,<br>
>> | --<br>
>> | Takayuki MURANUSHI<br>
>> | The Hakubi Center for Advanced Research, Kyoto University<br>
>> | <a href="http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html" target="_blank">http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html</a><br>
>> |<br>
>> | _______________________________________________<br>
>> | Haskell-Cafe mailing list<br>
>> | <a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
>> | <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
><br>
<span><font color="#888888">><br>
> --<br>
> Takayuki MURANUSHI<br>
> The Hakubi Center for Advanced Research, Kyoto University<br>
> <a href="http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html" target="_blank">http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html</a><br>
</font></span></blockquote></div><br></div>
</div></div></blockquote></div><br></div>