Monomorphizing GHC Core?

[Conal Elliott]

Has anyone worked on a monomorphizing transformation for GHC Core? I
understand that polymorphic recursion presents a challenge, and I do indeed
want to work with polymorphic recursion but only on types for which the
recursion bottoms out statically (i.e., each recursive call is on a smaller
type). I'm aiming at writing high-level polymorphic code and generating
monomorphic code on unboxed values. This work is part of a project for
compiling Haskell to hardware, described on my blog (http://conal.net).

Thanks,  - Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20140619/30f0b19f/attachment.html>