Nice! Perhaps I should revive my or-patterns proposal now. The main problem (IIRC) was that I had to give a rather large subset of Haskell (that includes pattern matching) typing rules to show typing rules of or-patterns. Now that that part is done perhaps I can find the time for the rest.
Ömer Ben Gamari <b...@smart-cactus.org>, 25 Tem 2019 Per, 02:32 tarihinde şunu yazdı: > > Richard Eisenberg <r...@richarde.dev> writes: > > > Hi devs, > > > > Simon and I were wondering about a tight specification for the recent > > action in proposal #253 > > (https://github.com/ghc-proposals/ghc-proposals/pull/253 > > <https://github.com/ghc-proposals/ghc-proposals/pull/253>). We needed > > to see the typing rules. So I made a repo > > (https://gitlab.haskell.org/rae/haskell > > <https://gitlab.haskell.org/rae/haskell>) 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. > > > > The current version contains the proposed result signatures; it should > > probably be in a branch, but life is short. > > > Very nice! > > Cheers, > > - Ben > > _______________________________________________ > 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