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

[Luke Palmer]

On Sun, Oct 17, 2010 at 12:12 PM, Patai Gergely
<patai_gergely at fastmail.fm> wrote:
>> And it is not enough to provide just a driver function, that is called in
>> 'main', say
>>    run :: IOArrow a b -> a -> IO b
>> ?
> No, because I need to compile the stream processing program itself by a
> different tool.

Not sure how this fits into what I thought you were saying.  Are you
trying to use Haskell to build an AST, use GHC to optimize it, and
then spit it out and compile it with, say, a OCaml program that you
have already written?  Or is your different tool supposed to spit out
Haskell and GHC compiles it into a program?  Or what?  What is this
different tool and how does it fit in to your pipeline?

Luke