[ghc-steering-committee] Proposal #400: COMPLETE set signatures; rec: accept

[Spiwack, Arnaud]

I support acceptance as well.

On Mon, Sep 20, 2021 at 10:44 PM Richard Eisenberg <lists at richarde.dev>
wrote:

> I support acceptance.
>
> Thanks!
> Richard
>
> > On Sep 16, 2021, at 12:07 PM, Vladislav Zavialov (int-index) <
> vlad.z.4096 at gmail.com> wrote:
> >
> > Dear Committee,
> >
> > Proposal #400 "COMPLETE set signatures” by Sebastian Graf has been
> submitted for our consideration.
> >
> > Read it here:
> https://github.com/sgraf812/ghc-proposals/blob/constrained-complete-sigs/proposals/0000-complete-set-signatures.rst
> > Discussion here: https://github.com/ghc-proposals/ghc-proposals/pull/400
> >
> > The proposal presents an alternative treatment for type annotations on
> COMPLETE pragmas. Today one could write
> >
> >   {-# COMPLETE P, Q :: Either #-}
> >
> > where P and Q are some pattern synonyms. But this isn’t even well-kinded.
> >
> > Instead, the author proposes that we ask our users to write
> >
> >  {-# COMPLETE P, Q :: Either l r #-}
> >
> > By requiring a proper type on the RHS, we also gain the ability to talk
> about more advanced use cases (described in the proposal).
> >
> > 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.
> >
> > Let me know what you think.
> >
> > - Vlad
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210922/d945134f/attachment-0001.html>