[haskell-llvm] llvm and type families
Henning Thielemann
lemming at henning-thielemann.de
Fri Apr 27 21:59:33 BST 2012
On Fri, 27 Apr 2012, Nathan Howell wrote:
> I'll be looking at a port from the type-level package to GHC's
> typenats when 7.6.1 gets closer to release. That may make a conversion
> to type families easier.
Yes typenats would be really nice, too.
I hunted a bug in GHC-7.4.1 today that is connected to the type-level
package [1] and thus I had a closer look to the implementation of
type-level. Now I think I know why type-level is so slow: Although it uses
decimal representation it uses induction for addition and multiplication,
thus performing actually unary arithmetic on decimal numbers.
[1] http://hackage.haskell.org/trac/ghc/ticket/6055
More information about the Haskell-llvm
mailing list