pattern signatures

[Simon Peyton Jones]

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 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?
|  
|  Thanks!
|  Richard
|  _______________________________________________
|  ghc-devs mailing list
|  ghc-devs at 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