n
*From:*ghc-devs [mailto:ghc-devs-boun...@haskell.org] *On Behalf Of
*Spiwack, Arnaud
*Sent:* 08 January 2018 10:11
*Cc:* Joachim Breitner <m...@joachim-breitner.de>; ghc-devs@haskell.org
*Subject:* Re: pattern signatures
In my eyes, signatures are something which goes with a defin
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
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
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
@haskell.org] On Behalf Of
> | Richard Eisenberg
> | Sent: 05 January 2018 13:48
> | To: GHC <ghc-devs@haskell.org>
> | Subject: pattern signatures
> |
> | Hi devs,
> |
> | Is a pattern signature
> |
> | a) something you put after `pattern P ::` ?
> |
| Richard Eisenberg
| Sent: 05 January 2018 13:48
| To: GHC <ghc-devs@haskell.org>
| Subject: pattern signatures
|
| Hi devs,
|
| Is a pattern signature
|
| a) something you put after `pattern P ::` ?
| b) something you put after `::` in a pattern, as in `foo (Proxy ::
| Pr
Hi devs,
Is a pattern signature
a) something you put after `pattern P ::` ?
b) something you put after `::` in a pattern, as in `foo (Proxy :: Proxy a)` ?
I've seen the term "pattern signature" apply to both, and I've been tripped up
by this. Does anyone have terminology that unambiguously