iavor.diatchki at gmail.com
Fri Jan 5 22:23:40 UTC 2018
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"
On Fri, Jan 5, 2018 at 1:12 PM Joachim Breitner <mail at joachim-breitner.de>
> 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.
> Joachim Breitner
> mail at joachim-breitner.de
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs