[Haskell-cafe] type-level integers for GHC

Takayuki Muranushi muranushi at gmail.com
Sat May 18 08:13:49 CEST 2013


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



More information about the Haskell-Cafe mailing list