<div dir="ltr"><div>Hi Sam,</div><div><br></div><div>Thanks for picking this up, the API looks good so far.</div><div>I'll try to port our <a href="https://hackage.haskell.org/package/ghc-typelits-extra">https://hackage.haskell.org/package/ghc-typelits-extra</a> package to the new API.</div><div><br></div><div>Though first I need to upgrade <a href="https://hackage.haskell.org/package/ghc-typelits-natnormalise">https://hackage.haskell.org/package/ghc-typelits-natnormalise</a> to the GHC 9.2+ API,</div><div> which is got somewhat more complicated than usual GHC upgrades due to a change in representation of (<=? :: Nat -> Nat -> Bool) in<br><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/eea96042f1e8682605ae68db10f2bcdd7dab923e">https://gitlab.haskell.org/ghc/ghc/-/commit/eea96042f1e8682605ae68db10f2bcdd7dab923e</a></div><div><br></div><div>I'll report back any issues I encounter if/when I encounter any.</div><div><br></div><div>Cheers,</div><div><br></div><div>Christiaan<br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 16 Jun 2021 at 23:04, Sam Derbyshire <<a href="mailto:sam.derbyshire@gmail.com">sam.derbyshire@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hey everyone,<br></div><div><br></div><div>I've put up some haddocks for this new type-checking plugin API, see here: <a href="https://sheaf.github.io/ghc-tcplugin-api/GHC-TcPlugin-API.html" target="_blank">https://sheaf.github.io/ghc-tcplugin-api/GHC-TcPlugin-API.html</a>.</div><div>(The page is mainly meant to be navigated using the contents pane.)<br></div><div><br></div><div>I hope this might be a more welcoming point of entry for people who are interested in learning about GHC typechecker plugins.</div><div><br></div><div>Let me know what you think,</div><div><br></div><div>Thanks,</div><div><br></div><div>Sam<br></div></div>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>