[Haskell-cafe] GHC Core / STG to supercombinators

[Shao Cheng]

Hi Csaba,

The transformations you described already exist as core simplifier passes.
For custom compilation, you may write your own pass using the core plugin
mechanism, see
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#compiler-plugins

It's also possible to perform transformations on STG, but it takes extra
effort to retrieve/transform the in-memory STG representations, and type
safety is also not guaranteed.

Regards,
Shao Cheng

On Tue, Apr 10, 2018 at 2:51 AM, Csaba Hruska <csaba.hruska at gmail.com>
wrote:

> Hello,
>
> I wonder what is the easiest way to compile Haskell to supercombinators
> (top level functions) using GHC as a library.
>
> Is it possible to use GHC simplifier to transform the parsed Haskell
> source to supercombinators? i.e. to do
>
>    - eta expansion
>    - closure conversion
>    - lambda lifting
>
> Or should it be written from scratch?
>
> Is Core or STG suited better for this purpose?
>
> Thanks,
> Csaba
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180410/edf22640/attachment.html>