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

[Richard Eisenberg]

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).

Richard

> 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>