<div dir="ltr">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.</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 5, 2018 at 9:41 AM, Simon Peyton Jones via ghc-devs <span dir="ltr"><<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ah yes. I think we started with "pattern synonym signature" for (b) but have since denenerated to "pattern signature" which is quite confusing.<br>
<br>
User advice would be good!<br>
<br>
S<br>
<span class=""><br>
|  -----Original Message-----<br>
|  From: ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org">ghc-devs-bounces@<wbr>haskell.org</a>] On Behalf Of<br>
|  Richard Eisenberg<br>
|  Sent: 05 January 2018 13:48<br>
|  To: GHC <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>><br>
|  Subject: pattern signatures<br>
|<br>
|  Hi devs,<br>
|<br>
|  Is a pattern signature<br>
|<br>
|  a) something you put after `pattern P ::` ?<br>
|  b) something you put after `::` in a pattern, as in `foo (Proxy ::<br>
|  Proxy a)` ?<br>
|<br>
|  I've seen the term "pattern signature" apply to both, and I've been<br>
|  tripped up by this. Does anyone have terminology that unambiguously<br>
|  separates these two constructs that we can all adopt?<br>
|<br>
|  Thanks!<br>
|  Richard<br>
|  ______________________________<wbr>_________________<br>
|  ghc-devs mailing list<br>
|  <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
</span>|  <a href="https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h" rel="noreferrer" target="_blank">https://na01.safelinks.<wbr>protection.outlook.com/?url=<wbr>http%3A%2F%2Fmail.h</a><br>
|  <a href="http://askell.org" rel="noreferrer" target="_blank">askell.org</a>%2Fcgi-bin%<wbr>2Fmailman%2Flistinfo%2Fghc-<br>
|  devs&data=02%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40<wbr>microsoft.com</a>%<wbr>7Cbc86346cc90f4a9516d108d5<br>
|  5442f5a0%<wbr>7C72f988bf86f141af91ab2d7cd011<wbr>db47%7C1%7C0%<wbr>7C6365075689386605<br>
|  89&sdata=<wbr>gvjnHyGAojz982UEV1u0hZPKH%2B%<wbr>2F3UjiDlQm10%2BRZ7r8%3D&<wbr>reserved<br>
|  =0<br>
<div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div></div>
</div>