Proposed changes to typechecker plugins API

Adam Gundry adam at
Wed May 27 08:33:20 UTC 2015

Hi devs,

I thought I should flag up some proposed changes relating to typechecker
plugins, which Christiaan, Iavor and I have been discussing. The quick

 * make it possible for plugins to create constraints (Phab:D909);

 * make it easier for plugins to define special type families;

 * embed CoreExpr in EvTerm.

For more details, see the wiki page:

Questions/review/comments very welcome.


Adam Gundry, Haskell Consultant
Well-Typed LLP,

More information about the ghc-devs mailing list