Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#157] Uninformative error message for missing component in nested structure

Date:
2016-05-09 16:27
Priority:
3
State:
Open
Submitted by:
Bug Submitter (webuser)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
None
Operating System:
Generic Unix
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Cosmetic
OS Version:
SML/NJ Version:
110.79
Keywords:
error messages
URL:
Transcript (of reproduction):
- signature SIG = sig structure A : sig val x : int end end; signature SIG = sig structure A : sig val x : int end end - structure S : SIG = = struct = structure A = = struct = end = end; stdIn:1.2-11.6 Error: unmatched value specification: x
Source (for reproduction):
signature SIG = sig structure A : sig val x : int end end; structure S : SIG = struct structure A = struct end end;
Summary:
Uninformative error message for missing component in nested structure

Detailed description
The error message for the situation where there is missing component
in a nested structure definition does not include the full path of
the component. If there are multiple components with the same name
and the structure is large, it is difficult to track down the error.

A related problem is that the given line numbers are for the whole
outer structure, instead of just for the nested substructure.
Submitted via web form by John Reppy <jhr@cs.uchicago.edu>

Comments:

No Comments Have Been Posted

Attached Files:

Changes

Field Old Value Date By
assigned_tonone2016-05-09 16:42jhr
detailsThe error message for the situation where there is missing component in a nested structure definition does not include the full path of the component. If there are multiple components with the same name and the structure is large, it is difficult to track down the error. A related problem is that the given line numbers are for the whole outer structure, instead of just for the nested substructure. Submitted via web form by John Reppy <jhr@cs.uchicago.edu> 2016-05-09 16:42jhr
ResolutionNone2016-05-09 16:42jhr
Transcript (of reproduction)- signature SIG = sig structure A : sig val x : int end end; signature SIG = sig structure A : sig val x : int end end - structure S : SIG = = struct = structure A = = struct = end = end; stdIn:1.2-11.6 Error: unmatched value specification: x 2016-05-09 16:42jhr
Source (for reproduction)signature SIG = sig structure A : sig val x : int end end; structure S : SIG = struct structure A = struct end end; 2016-05-09 16:42jhr