On 2018-11-28 2:17 a.m., Jurriaan Hage wrote:
Dear all,
We’ve been active since September making the Helium compiler more Haskell 2010 compliant. In particular, we have a branch with support for Haskell 2010 type classes, a branch that supports import/export following the standard, and a branch that compiles to LLVM instead of the `old’ Helium-specific LVM that has become harder and harder to maintain. These still need to be integrated. When I find time for that is hard to say.
Another project will be taking place in the period Feb-Apr and I expect we can tie up a lot of loose ends then. Current loose ends include newtype, record syntax, integration of previous projects, Cabal support, Quickcheck, strict data fields, improving the LLVM back-end.
One thing I have wondered about: do we actually have something like an extensive set of tests to throw at any Haskell 2010 compliant compiler that would help find mistakes on our parr? My students have come up with a range of examples to test their implementations, but there is nothing like a set of programs you’ve never seen or heard about.
If you want to be really thorough: 1. start with all of Hackage, 2. filter out all packages with the extensions: field in the cabal file, 3. filter out all modules with the {-# LANGUAGE ... #-} pragma, 4. recursively filter out all modules that import any filtered-out module, 5. you're left with a large set of pure Haskell 2010 modules. If you'd rather start small, I suspect it's best to look at the existing Haskell implementations. For example, there is a test suite at https://github.com/ajhc/ajhc/tree/arafura/regress/tests