[Haskell-cafe] Status of GHC type-nats branch

[Takayuki Muranushi]

Thank you Iavor! I'm looking forward for the update.

Takayuki

2013/2/26 Iavor Diatchki <iavor.diatchki at gmail.com>:
> Hello,
> I haven't merged the type-nats branch with GHC master recently, so some of
> the libraries probably moved forward, which could be the source of the
> problem.  I'll make sure to fix it over the next couple of days.
> -Iavor
>
>
> On Mon, Feb 25, 2013 at 6:39 AM, Takayuki Muranushi <muranushi at gmail.com>
> wrote:
>>
>> Hi, everyone,
>>
>> In order to merge two type-level key-value pairs
>> (More specifically, to use TypeNats branch of unittyped:
>>
>> https://bitbucket.org/xnyhps/haskell-unittyped/commits/all/tip/branch%28%22TypeNats%22%29
>> )
>> I'd like to use overlapping type families and the type level Naturals
>> at the same time.
>>
>> However, I couldn't build the type-nats branch of ghc, as I've been
>> trying this week.
>> I could build that in late 2012, so maybe this is due to updates in
>> the git submodules.
>>
>> Do you reproduce this? Is there anyone else trying to build the
>> type-nats branch?
>>
>> Any advice is helpful, including negative ones, if it's temporally
>> broken or no more supported. And, I'm particularly glad if anyone has
>> a x86-64 linux tarball of type-nats branch, and share it with me :)
>>
>> Best regards,
>>
>> --
>> 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