pattern signatures

[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.

On Fri, Jan 5, 2018 at 9:41 AM, Simon Peyton Jones via ghc-devs <
ghc-devs at haskell.org> wrote:

> 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
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>



-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180105/7aaf1056/attachment.html>