Simon Peyton Jones
simonpj at microsoft.com
Fri Jan 5 14:41:16 UTC 2018
Ah yes. I think we started with "pattern synonym signature" for (b) but have since denenerated to "pattern signature" which is quite confusing.
User advice would be good!
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of
| Richard Eisenberg
| Sent: 05 January 2018 13:48
| To: GHC <ghc-devs at 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 ::
| 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
| separates these two constructs that we can all adopt?
| ghc-devs mailing list
| ghc-devs at haskell.org
More information about the ghc-devs