Ticket #5 (closed proposed-project: invalid)
GHC - Plugins
|Reported by:||paolo||Owned by:||none|
|Difficulty:||1 person Summer||Mentor:||not-accepted|
Description (last modified by mnislaih) (diff)
Write a new plugin system using the new ghc-api. Enough of the groundwork has been laid out now that someone with a few months and some background could finish up the work.
Ghc-plugins will replace the plugin system currently used in hIDE.
- Lemmih <lemmih@…>
- Pepe Iborra <mnislaih@…>