Re: [Haskell-cafe] Retargeting Haskell compiler to embedded/hardware

On Tue, Sep 28, 2010 at 9:20 PM, Shakthi Kannan wrote:

If you are still at it, you can have a look at Chalmers Lava [1], or Kansas Lava [2]. Feldspar [3] project targets DSP though.

These are examples light embedded DSLs, i.e. sophisticated libraries where you compile, then run the program to generate code. This is not what I want. Rather, I am looking for advice on how to splice GHC -- or another implementation -- where I can build a compiler starting from a type checked, simplified Haskell AST; or better yet, an unevaluated call graph. -Tom