<div dir="ltr">I support acceptance as well.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Sep 20, 2021 at 10:44 PM Richard Eisenberg <<a href="mailto:lists@richarde.dev">lists@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I support acceptance.<br>
<br>
Thanks!<br>
Richard<br>
<br>
> On Sep 16, 2021, at 12:07 PM, Vladislav Zavialov (int-index) <<a href="mailto:vlad.z.4096@gmail.com" target="_blank">vlad.z.4096@gmail.com</a>> wrote:<br>
> <br>
> Dear Committee,<br>
> <br>
> Proposal #400 "COMPLETE set signatures” by Sebastian Graf has been submitted for our consideration.<br>
> <br>
> Read it here: <a href="https://github.com/sgraf812/ghc-proposals/blob/constrained-complete-sigs/proposals/0000-complete-set-signatures.rst" rel="noreferrer" target="_blank">https://github.com/sgraf812/ghc-proposals/blob/constrained-complete-sigs/proposals/0000-complete-set-signatures.rst</a><br>
> Discussion here: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/400" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/400</a><br>
> <br>
> The proposal presents an alternative treatment for type annotations on COMPLETE pragmas. Today one could write<br>
> <br>
>   {-# COMPLETE P, Q :: Either #-}<br>
> <br>
> where P and Q are some pattern synonyms. But this isn’t even well-kinded.<br>
> <br>
> Instead, the author proposes that we ask our users to write<br>
> <br>
>  {-# COMPLETE P, Q :: Either l r #-}<br>
> <br>
> By requiring a proper type on the RHS, we also gain the ability to talk about more advanced use cases (described in the proposal).<br>
> <br>
> I recommend acceptance. In fact, I learned about the way these annotations are treated today only from reading the proposal, and it came as a surprise to me. Using proper, well-kinded types there, seems like the right thing to do even if we ignore the new use cases it enables.<br>
> <br>
> Let me know what you think.<br>
> <br>
> - Vlad<br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>