You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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):
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
The text was updated successfully, but these errors were encountered: