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.derbysh...@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 >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs