pattern signatures

[Iavor Diatchki]

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 <mail at 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
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180105/1658f6da/attachment.html>