
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi devs,<div class=""><br class=""></div><div class="">Simon and I were wondering about a tight specification for the recent action in proposal #253 (<a href="https://github.com/ghc-proposals/ghc-proposals/pull/253" class="">https://github.com/ghc-proposals/ghc-proposals/pull/253</a>). We needed to see the typing rules. So I made a repo (<a href="https://gitlab.haskell.org/rae/haskell" class="">https://gitlab.haskell.org/rae/haskell</a>) to collect typing rules for source Haskell. I managed to convince the CI infrastructure to produce a PDF at every upload; it is linked from the README.</div><div class=""><br class=""></div><div class="">The current version contains the proposed result signatures; it should probably be in a branch, but life is short.</div><div class=""><br class=""></div><div class="">Contributions very welcome!</div><div class="">Richard</div></body></html>