[ghc-steering-committee] #351: NoIncomplete, rec: accept

Richard Eisenberg rae at richarde.dev
Thu May 27 13:55:33 UTC 2021

Thanks for putting this forward, Vitaly.

I'm quite strongly against the proposal in its current form, as I've posted on the thread: https://github.com/ghc-proposals/ghc-proposals/pull/351#issuecomment-849654517 <https://github.com/ghc-proposals/ghc-proposals/pull/351#issuecomment-849654517>  But I'd like to see it get into shape into something that could be accepted, as I agree with the motivation here (and would similarly use this in practice).


> On May 26, 2021, at 8:32 AM, Vitaly Bragilevsky <bravit111 at gmail.com> wrote:
> Dear Committee, 
> We have been discussing the NoIncomplete pragma proposal by John Ericson for quite a long time. I think it's ready for acceptance.
> The proposal itself: https://github.com/ghc-proposals/ghc-proposals/pull/351 <https://github.com/ghc-proposals/ghc-proposals/pull/351>
> The rendered version: https://github.com/Ericson2314/ghc-proposals/blob/no-sugared-incompleteness/proposals/0000-no-incomplete.rst <https://github.com/Ericson2314/ghc-proposals/blob/no-sugared-incompleteness/proposals/0000-no-incomplete.rst>
> The proposal aims to introduce the NoIncomplete pragma that would prohibit programs which have a source of incompleteness (in patterns, in methods) in them. There is also the new -fdefer-incompleteness-errors flag.
> I think this feature comes quite handy in education. I'd use it all the time with my students.
> Please comment here or in the GitHub thread if you see any problems with this proposal.
> Vitaly
> _______________________________________________
> 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/20210527/3201bf03/attachment.html>

More information about the ghc-steering-committee mailing list