<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">With several votes in favor and nothing against, I declare this to be accepted. Joachim, would you mind merging? I'm in a train and cannot easily do so from here.<div class=""><br class=""></div><div class="">Thanks!</div><div class="">Richard<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Feb 2, 2023, at 9:31 AM, Chris Dornan <<a href="mailto:chris@chrisdornan.com" class="">chris@chrisdornan.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=us-ascii" class=""><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Me too. +1<br class=""><div class=""><br class=""><blockquote type="cite" class=""><div class="">On 2 Feb 2023, at 13:00, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com" class="">simon.peytonjones@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_default" style="font-family:tahoma,sans-serif">I concur!</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br class=""></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br class=""></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 2 Feb 2023 at 12:40, Richard Eisenberg <<a href="mailto:lists@richarde.dev" class="">lists@richarde.dev</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi all,<br class="">
<br class="">
Vlad has proposed <a href="https://github.com/ghc-proposals/ghc-proposals/pull/556" rel="noreferrer" target="_blank" class="">https://github.com/ghc-proposals/ghc-proposals/pull/556</a>, an amendment to recently accepted proposal #448 on scoped type variables. It adds a nuance saying that<br class="">
<br class="">
f (MkT @(a :: <<here>>)) = ...<br class="">
<br class="">
should have the same scoping behavior as<br class="">
<br class="">
f (MkT (x :: <<here>>)) = ...<br class="">
<br class="">
Note that the first is a kind signature of a visible-type-application-in-a-pattern, while the second is a pattern signature. The intended scoping rule says that the use of an in-scope type variable in these positions is an occurrence, while the use of an out-of-scope type variable brings that variable into scope. Vlad's proposal corrects the phrasing in the original proposal that aligns the treatment of the kind signature with the type it is describing, forbidding e.g. the use of a repeated variable in the kind signature.<br class="">
<br class="">
Vlad's amendment makes the proposal what I had intended when I wrote #448; I strongly recommend acceptance.<br class="">
<br class="">
I think this is a small tweak of a technical detail buried in #448 and hope this does not cause widespread debate. I will accept this proposal in a week if I don't hear objections.<br class="">
<br class="">
Thanks!<br class="">
Richard<br class="">
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</blockquote></div>
_______________________________________________<br class="">ghc-steering-committee mailing list<br class=""><a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a><br class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<br class=""></div></blockquote></div><br class=""></div></div></blockquote></div><br class=""></div></body></html>