Re: pattern signatures

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 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 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@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