In my eyes, signatures are something which goes with a definition. So (a) is a pattern (synonym) signature, while (b) is merely a type annotation on a pattern.
On Fri, Jan 5, 2018 at 11:23 PM, Iavor Diatchki <iavor.diatc...@gmail.com> wrote: > Well, as you say, "pattern signature" makes sense for both, so I would > expect to use context to disambiguate. If I wanted to be explicit about > which one I meant, I'd use: > > a) "Pattern synonym signature" > b) "Signature on a pattern" > > -Iavor > > > > > On Fri, Jan 5, 2018 at 1:12 PM Joachim Breitner <m...@joachim-breitner.de> > wrote: > >> Hi, >> >> Am Freitag, den 05.01.2018, 13:42 -0500 schrieb Brandon Allbery: >> > Further complicated by the fact that that form used to be called a >> > "pattern signature" with accompanying extension, until that was >> > folded into ScopedTypeVariables extension. >> >> which I find super confusing, because sometimes I want a signature on a >> pattern and it is counter-intuitive to me why I should not longer use >> the obviously named PatternSignatures extension but rather the at first >> glance unrelated ScopedTypeVariable extension. >> >> But I am derailing the discussion a bit. >> >> Cheers, >> Joachim >> >> -- >> Joachim Breitner >> m...@joachim-breitner.de >> http://www.joachim-breitner.de/ >> _______________________________________________ >> 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 > >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
