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
