Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005782OCamlOCaml generalpublic2012-10-10 00:422013-08-04 15:48
ReporterMartin Jambon 
Assigned To 
PrioritynormalSeveritytextReproducibilityalways
StatusresolvedResolutionopen 
PlatformanyOSOS Version
Product Version4.00.1 
Target Version4.01.0+devFixed in Version4.01.0+dev 
Summary0005782: Confusing/incorrect error message for unexpected record literal
DescriptionThe error message about mixed labels occurs when a record literal is placed where an other type is expected, even if the expected type is not a record:

# ({ contents = 0 } : unit);;
Error: The record field label Pervasives.contents belongs to the type
       'a ref but is mixed here with labels of type unit
TagsNo tags attached.
Attached Files

- Relationships
has duplicate 0006117resolved Confusing wording in error message 

-  Notes
(0008682)
doligez (administrator)
2013-01-03 16:29

Appears to be fixed in trunk, probably as a side-effect of the changes in record typing.

- Issue History
Date Modified Username Field Change
2012-10-10 00:42 Martin Jambon New Issue
2013-01-03 16:29 doligez Note Added: 0008682
2013-01-03 16:29 doligez Status new => resolved
2013-01-03 16:29 doligez Fixed in Version => 4.01.0+dev
2013-01-03 16:29 doligez Target Version => 4.01.0+dev
2013-08-04 15:48 gasche Relationship added has duplicate 0006117


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker