0005929: The error "label defined several times" complains about the wrong label - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005929

OCaml

OCaml typing

public

2013-02-21 22:19

2013-02-22 10:02

Reporter

lefessan

Assigned To

frisch

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

duplicate

Platform

OS

OS Version

Product Version

4.00.1

Target Version

Fixed in Version

Summary

0005929: The error "label defined several times" complains about the wrong label

Description

On 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".

Tags

No tags attached.

Relationships

duplicate of

resolved

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