Original bug ID: 164
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Hello,

some beginners seem to get confused by the warning message concerning
non-exhaustive matches when guards are used:

Warning: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:

They believe that there still is some incompleteness in their sources
even if there isn't (I know this is in the FAQs).

Maybe one could come up with a better warning message in the case of
matches with guards, one that expresses the uncertainty concerning this
message, something like:

Warning: this pattern-matching could not be proved exhaustive.
Here is an example of a value that is possibly not matched (please verify):

Best regards,
Markus Mottl

--
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl