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!
S
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of
| Richard Eisenberg
| Sent: 05 January 2018 13:48
| To: GHC
| 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?
|
| Thanks!
| Richard
| _______________________________________________
| ghc-devs mailing list
| ghc-devs@haskell.org
| https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h
| askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
| devs&data=02%7C01%7Csimonpj%40microsoft.com%7Cbc86346cc90f4a9516d108d5
| 5442f5a0%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6365075689386605
| 89&sdata=gvjnHyGAojz982UEV1u0hZPKH%2B%2F3UjiDlQm10%2BRZ7r8%3D&reserved
| =0
