Proposed changes to typechecker plugins API
adam at well-typed.com
Wed May 27 08:33:20 UTC 2015
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, http://www.well-typed.com/
More information about the ghc-devs