Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005929OCamlOCaml typingpublic2013-02-21 22:192013-02-22 10:02
Reporterlefessan 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionduplicate 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version 
Summary0005929: The error "label defined several times" complains about the wrong label
DescriptionOn the following program:

type t = {a : int; b:int; c:int };;
let a = 1
let b = 1;;
let t = { a; b; a }

I get the error:
File "/tmp/toto.ml", line 4, characters 8-19:
Error: The record field label b is defined several times

when the duplicated label is actually "a", not "b".


TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0005821resolvedfrisch Wrong record field is reported as duplicate 

-  Notes
(0008888)
lpw25 (developer)
2013-02-21 23:49

This is probably a duplicate of 0005821.
(0008889)
frisch (developer)
2013-02-22 10:02

Duplicate of 0005821, already fixed in trunk.

- Issue History
Date Modified Username Field Change
2013-02-21 22:19 lefessan New Issue
2013-02-21 23:49 lpw25 Note Added: 0008888
2013-02-22 10:02 frisch Note Added: 0008889
2013-02-22 10:02 frisch Relationship added duplicate of 0005821
2013-02-22 10:02 frisch Status new => resolved
2013-02-22 10:02 frisch Resolution open => duplicate
2013-02-22 10:02 frisch Assigned To => frisch


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker