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@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-boun...@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 ::` ? > | 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 > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com ballb...@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs