GHC type checker plugins: adding new type-level operations
May 10, 2016
Since version 7.10.2, GHC supports so-called type-checker plugins which let us extend GHC's constraint solver, i.e. extend the the range of programs GHC can type check.
Several plugins have already...
Relocatable Cabal sandboxes
May 8, 2016
Cabal 1.22 has preliminary support for relocatable packages, which is actually undocumented because I'm a bad patch writer.
Regardless, this preliminary support for relocatable packages partially enables...