Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005889OCamlOCaml typingpublic2013-01-13 22:122014-09-04 00:25
Reporterhongboz 
Assigned To 
PrioritynormalSeveritytextReproducibilityhave not tried
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionundecidedFixed in Version 
Summary0005889: polymorphic variant typing error message not meaningful
Descriptiontype 'a u3 = [< `b | `a of & int & bool ] as 'a;;
File "", line 1:
Error: Type declarations do not match:
         type 'a u3 = 'a constraint 'a = [< `a of & int & bool | `b ]
       is not included in
         type 'a u3 = 'a constraint 'a = [< `a of & int & bool | `b ]
TagsNo tags attached.
Attached Files

- Relationships
related to 0005888acknowledgedgarrigue Better type errors for polymorphic variants and module signatures 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-01-13 22:12 hongboz New Issue
2013-01-13 22:41 meyer Relationship added related to 0005888
2013-06-28 18:17 doligez Severity minor => text
2013-06-28 18:17 doligez Status new => confirmed
2013-06-28 18:17 doligez Target Version => 4.02.0+dev
2013-07-12 18:15 doligez Target Version 4.02.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-07-16 20:19 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker