arnaud.spiwack at tweag.io
Mon Jan 8 10:11:09 UTC 2018
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>
> 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
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs