Hi Sam,

Thanks for picking this up, the API looks good so far.

I'll try to port our https://hackage.haskell.org/package/ghc-typelits-extra package to the new API.

Though first I need to upgrade https://hackage.haskell.org/package/ghc-typelits-natnormalise to the GHC 9.2+ API,

which is got somewhat more complicated than usual GHC upgrades due to a change in representation of (<=? :: Nat -> Nat -> Bool) in
https://gitlab.haskell.org/ghc/ghc/-/commit/eea96042f1e8682605ae68db10f2bcdd7dab923e

I'll report back any issues I encounter if/when I encounter any.

Cheers,

Christiaan

On Wed, 16 Jun 2021 at 23:04, Sam Derbyshire <sam.derbyshire@gmail.com> wrote:

Hey everyone,

I've put up some haddocks for this new type-checking plugin API, see here: https://sheaf.github.io/ghc-tcplugin-api/GHC-TcPlugin-API.html.
(The page is mainly meant to be navigated using the contents pane.)

I hope this might be a more welcoming point of entry for people who are interested in learning about GHC typechecker plugins.

Let me know what you think,

Thanks,

Sam
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs