[Haskell-cafe] type-level integers for GHC

Christiaan Baaij christiaan.baaij at gmail.com
Mon May 20 10:56:25 CEST 2013


What works best for me is to actually merge the type-nats branch into a local checkout of master; as opposed to checking out the type-nats branch.
Though you will usually have to do some (minor) conflict resolution.

-- Christiaan

On May 17, 2013, at 11:13 PM, Takayuki Muranushi <muranushi at gmail.com> wrote:

> 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
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe




More information about the Haskell-Cafe mailing list