*.hs -> STG, STG -> js

[zzz...@gmail.com]

I'm trying to read the Haste source.

I see toSimplifiedStg at https://github.com/valderman/ghc-simple/blob/master/src/Language/Haskell/GHC/Simple/Impl.hs#L91

However, I don't see where it's called in the haste sources.

I've tried gripping for "::.*Stg" in the haste source but I can't find a clear layer where se do hs -> STG, and another where we do STG -> JS.

Where in the Haste-Compiler pipeline do we get STG?

Thanks!

[Anton Ekblad]

The HS -> STG transformation happens entirely in ghc-simple. If you look at [1], you'll see an `Intermediate` instance for lists of STG bindings. This instance is then used by `compileFold` [2], which takes each module being compiled, converts it to some `Intermediate` type (in this particular case, that's STG), and applies a user-provided function to that intermediate data. This function is called from [3], where the STG-to-JS code generator in [4] is the previously mentioned user-provided function.

The idea behind this arrangement is that users of ghc-simple shouldn't need to care about how they get their hands on the STG (or Core, or whatever) bindings - they should ideally just need to specify a code generator for their preferred input format, and that's it.

[1] https://github.com/valderman/ghc-simple/blob/master/src/Language/Haskell/GHC/Simple/Impl.hs#L38

[2] https://github.com/valderman/ghc-simple/blob/master/src/Language/Haskell/GHC/Simple.hs#L239

[3] https://github.com/valderman/haste-compiler/blob/master/src/hastec.hs#L54

[4] https://github.com/valderman/haste-compiler/blob/master/src/Haste/CodeGen.hs