pattern signatures

[Spiwack, Arnaud]

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.diatchki at 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 <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
>>
>
> _______________________________________________
> 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/20180108/3e9b9b71/attachment.html>