Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006466OCamlOCaml generalpublic2014-06-20 01:222014-07-16 10:31
Reporterwhitequark 
Assigned To 
PrioritynormalSeveritytextReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.02.0+beta1 
Target Versionafter-4.02.0Fixed in Version 
Summary0006466: Non-exhaustive matching warning message for open types is confusing
DescriptionHere it is:

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

I scratched my head for quite a while before I got it.
Steps To Reproduce    function Not_found -> ()
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0011833)
doligez (administrator)
2014-07-16 10:31

Let's have a discussion of what the error message should look like.

- Issue History
Date Modified Username Field Change
2014-06-20 01:22 whitequark New Issue
2014-07-16 10:31 doligez Note Added: 0011833
2014-07-16 10:31 doligez Severity minor => text
2014-07-16 10:31 doligez Status new => acknowledged
2014-07-16 10:31 doligez Target Version => after-4.02.0


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker