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

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-8496545... https://github.com/ghc-proposals/ghc-proposals/pull/351#issuecomment-8496545... 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 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/... https://github.com/Ericson2314/ghc-proposals/blob/no-sugared-incompleteness/...

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@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee