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/eea96042f1e8682605ae68db10f2bcdd...
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
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