Re: pattern signatures

2018-01-10 Thread Sylvain Henry
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

Re: pattern signatures

2018-01-08 Thread 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 wrote: > Well, as you say, "pattern signature" makes sense

Re: pattern signatures

2018-01-05 Thread 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

Re: pattern signatures

2018-01-05 Thread 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

Re: pattern signatures

2018-01-05 Thread Brandon Allbery
@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 ::` ? > |

RE: pattern signatures

2018-01-05 Thread Simon Peyton Jones via ghc-devs
| 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

pattern signatures

2018-01-05 Thread Richard Eisenberg
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