[Haskell-cafe] Compiling a DSL on the shoulders of GHC

[Henning Thielemann]

On Sun, 17 Oct 2010, Patai Gergely wrote:

> I'm trying to reuse as much of the sweat and tear put into GHC as
> possible to derive a compiler for a language highly similar to Haskell
> in many aspects. The difference is that instead of constructing an
> expression of type IO (), the programmer has to provide a stream
> processor on the top level - whether this is an arrow structure or just
> a pure function mapping input to output is not decided yet. In other
> words, I want to allow the programmer to use full Haskell as a
> metaprogramming language to create an expression of a much more limited
> language.

And it is not enough to provide just a driver function, that is called in 
'main', say
   run :: IOArrow a b -> a -> IO b
?