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
Assigned To 
PlatformOSOS Version
Product Version4.02.0+beta1 / +rc1 
Target Version4.02.1+devFixed 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:

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
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 => 4.02.1+dev

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker