Skip to content

Fix some docs issues in the plugin API

Jade Lovelace requested to merge lf-/ghc:export-holefitplugin into master

I'm working on a plugin and have been running into some issues in the docs, so I'm fixing them as I go on here.

I saw that HoleFitPlugin wasn't exported while poking around building a GHC plugin. Let's export it, to make the interface clearer.

The example for tcPluginRewrite does not compile, so I fixed it.

Edited by Andreas Klebinger

Merge request reports