<div dir="ltr"><div>Dear Committee, <br></div><div><br></div><div>We have been discussing the NoIncomplete pragma proposal by John Ericson for quite a long time. I think it's ready for acceptance.<br></div><div><br></div><div>The proposal itself: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/351">https://github.com/ghc-proposals/ghc-proposals/pull/351</a></div><div>The rendered version: <a href="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</a></div><div><br></div><div>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><br></div><div> I think this feature comes quite handy in education. I'd use it all the time with my students.</div><div><br></div><div>Please comment here or in the GitHub thread if you see any problems with this proposal.</div><div><br></div><div>Vitaly<br></div><div><br></div></div>