Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005073OCamlOCaml typingpublic2010-06-15 12:172012-06-20 12:05
Reporterfrisch 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.00.0+dev 
Summary0005073: Wrong location for 'Unbound record field label' error
DescriptionIn a record literal expression, an unbound record field error is located on the field expression, not on the label.

E.g.:

# {x = 1};;
       ^
Error: Unbound record field label x


For pattern records, the whole pattern is highlighted. In a sense, the behavior for expressions is better (more precisely localized), but quite misleading.

The location for the faulty identifier itself is not kept in the parse tree. Maybe one should add it?


Alain
TagsNo tags attached.
Attached Filesdiff file icon diff.diff [^] (11,455 bytes) 2010-06-15 12:44 [Show Content]

- Relationships

-  Notes
(0005551)
frisch (developer)
2010-06-15 12:45

Tried to do that... but stuck on updating Camlp4. I upload a proposal, in case someone wants to continue.
(0007557)
frisch (developer)
2012-06-13 20:19

It seems there has been a regression: now, even for expressions, the whole record is highlighted in case of an unbound field label.
(0007560)
garrigue (manager)
2012-06-14 00:45

The syntax tree now contains all the locations necessary.
Will do it ASAP (there are many error messages to update).
(0007583)
garrigue (manager)
2012-06-20 12:05

Fixed in trunk and 4.00, revision 12607.

- Issue History
Date Modified Username Field Change
2010-06-15 12:17 frisch New Issue
2010-06-15 12:31 frisch Status new => assigned
2010-06-15 12:31 frisch Assigned To => frisch
2010-06-15 12:44 frisch File Added: diff.diff
2010-06-15 12:45 frisch Note Added: 0005551
2010-06-15 12:45 frisch Assigned To frisch =>
2012-06-13 20:19 frisch Note Added: 0007557
2012-06-14 00:45 garrigue Note Added: 0007560
2012-06-14 00:45 garrigue Assigned To => garrigue
2012-06-14 00:45 garrigue Status assigned => acknowledged
2012-06-20 10:55 frisch Relationship added has duplicate 0005657
2012-06-20 11:15 frisch Category OCaml general => OCaml typing
2012-06-20 12:05 garrigue Note Added: 0007583
2012-06-20 12:05 garrigue Status acknowledged => closed
2012-06-20 12:05 garrigue Resolution open => fixed
2012-06-20 12:05 garrigue Fixed in Version => 4.00.0+dev
2012-06-20 12:05 garrigue Relationship deleted has duplicate 0005657


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker