Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006117OCamlOCaml typingpublic2013-08-04 15:122013-08-04 15:48
Reportergoswin 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformlinuxOSdebianOS Versionexperimental
Product Version4.00.1 
Target VersionFixed in Version4.01.0+dev 
Summary0006117: Confusing wording in error message
DescriptionA type error with a record uses the confusing phrase "labels of type unit",
Steps To Reproduce# type r = { foo : int };;
type r = { foo : int; }
# let _ = ({ foo = 1; } : unit);;
Error: The record field label foo belongs to the type r
       but is mixed here with labels of type unit
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0005782resolved Confusing/incorrect error message for unexpected record literal 

-  Notes
(0010091)
lpw25 (developer)
2013-08-04 15:27

This was fixed as part of the record disambiguation work:

          OCaml version 4.02.0+dev0-2013-06-13

  # type r = { foo : int };;
  type r = { foo : int; }
  # let _ = ({ foo = 1; } : unit);;
  Characters 9-21:
    let _ = ({ foo = 1; } : unit);;
             ^^^^^^^^^^^^
  Error: This expression has type r but an expression was expected of type unit

- Issue History
Date Modified Username Field Change
2013-08-04 15:12 goswin New Issue
2013-08-04 15:27 lpw25 Note Added: 0010091
2013-08-04 15:28 lpw25 Status new => resolved
2013-08-04 15:28 lpw25 Fixed in Version => 4.01.0+dev
2013-08-04 15:28 lpw25 Resolution open => fixed
2013-08-04 15:28 lpw25 Assigned To => lpw25
2013-08-04 15:29 lpw25 Assigned To lpw25 =>
2013-08-04 15:48 gasche Relationship added duplicate of 0005782


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker