Csaba Hruska

Yes, the `external-stg-compiler` can feed back ext-stg to ghc for codegen. The latest code is available on github. The pipeline does not use the bytecode at all.

GHC-WPC does not support external core, only ext-stg. The Core IR is always in flux, that's why.

This is what I've got with Firefox 80.0 (64 bit linux) 

Also note that data scaling and streaming is not implemented yet, so only use tiny eventlog input files.

Hi, The `ghc-grin` repository was my first attempt to use GHC Haskell as language frontend for the GRIN optimizer. You are right, the `grin` repository does not contain any language...

If you want to avoid C-land dependencies then you should not use GHC's Prelude at all. Even the `String` type (alias `[Char]`) introduces heavy Unicode related C code dependency. So...

The Boq thesis describes how to convert a closure converted and lambda lifted higher order IR to GRIN. You're right the [2.5.5 chapter: GRIN code generation](https://nbviewer.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=64) describes the defunctionalization step...