[rahulmutt]

Eta in fact only deals with STG code -> Java bytecode transformation. I agree that the intermediate transformations are brilliant, so I am very careful about playing around with the frontend bit of the GHC codebase. Eta currently implements almost all of GHC's primitive operations faithfully. I have taken extreme care in preserving semantics. In some obscure cases though, I just gave up since there are no platform-independent ways of implementing certain things (like vectorised instructions).

[dualogy]

Now that's awesome to hear! Can't wait to give this a go for making an Android app on the next occasion that pops up

[rahulmutt]

GHC 8 will take some time. The current position is to prioritize those new extensions which start creeping up in Hackage libraries. There were significant changes to the codebase in 8 and I want to wait until it's stabilized. Eventually, yes.

[dualogy]

I thought most extensions "just provide sugar" and are gone by the STG stage.. guess not =)

[rahulmutt]

No, you're right. I just don't want to swap out the frontends right now (again, stability). I'll definitely be cherry picking bug fixes and non-pervasive changes once I get a solid test/benchmark suite setup.

[sbare109]

Frege already has an Android library on the works. You could try that.

[dualogy]

But then GHC v8 compatibility should surely be on the horizon, right?