<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="">Thanks for putting this forward, Vitaly.<div class=""><br class=""></div><div class="">I'm quite strongly against the proposal in its current form, as I've posted on the thread: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/351#issuecomment-849654517" class="">https://github.com/ghc-proposals/ghc-proposals/pull/351#issuecomment-849654517</a> 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).</div><div class=""><br class=""></div><div class="">Richard</div><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On May 26, 2021, at 8:32 AM, Vitaly Bragilevsky <<a href="mailto:bravit111@gmail.com" class="">bravit111@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">Dear Committee, <br class=""></div><div class=""><br class=""></div><div class="">We have been discussing the NoIncomplete pragma proposal by John Ericson for quite a long time. I think it's ready for acceptance.<br class=""></div><div class=""><br class=""></div><div class="">The proposal itself: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/351" class="">https://github.com/ghc-proposals/ghc-proposals/pull/351</a></div><div class="">The rendered version: <a href="https://github.com/Ericson2314/ghc-proposals/blob/no-sugared-incompleteness/proposals/0000-no-incomplete.rst" class="">https://github.com/Ericson2314/ghc-proposals/blob/no-sugared-incompleteness/proposals/0000-no-incomplete.rst</a></div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class=""> I think this feature comes quite handy in education. I'd use it all the time with my students.</div><div class=""><br class=""></div><div class="">Please comment here or in the GitHub thread if you see any problems with this proposal.</div><div class=""><br class=""></div><div class="">Vitaly<br class=""></div><div class=""><br class=""></div></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></body></html>