2010/9/29 Tom Hawkins <tomahawk...@gmail.com>: > On Tue, Sep 28, 2010 at 9:20 PM, Shakthi Kannan <shakthim...@gmail.com> 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.
Hi Tom, How much of GHC's Haskell do you want? If you are happy with something *similar* to Haskell, did you consider to implement (or reuse if something exists) your own concrete syntax and type checker? I would think those problems are quite lightweight in regard to writing a new backend. Cheers, Thu _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe