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

[#155] Misleading printing of word literals in error messages

Date:
2016-04-06 23:42
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
John Reppy (jhr)
Machine Architecture:
None
Operating System:
Generic Unix
Component:
Installer
Resolution:
Fixed
Severity:
Cosmetic
OS Version:
SML/NJ Version:
110.79
Keywords:
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.79 [built: Wed Apr 6 18:38:53 2016] - fun f (x : int) = x; val f = fn : int -> int - f 0w1; stdIn:2.1-2.6 Error: operator and operand don't agree [overload conflict] operator domain: int operand: [word ty] in expression: f 1
Source (for reproduction):
fun f (x : int) = x; f 0w1;
Summary:
Misleading printing of word literals in error messages

Detailed description
Word literals are printed as integer literals (i.e., without the leading "0w"),
which can result in confusing error messages.
Submitted via web form by John Reppy <jhr@cs.uchicago.edu>

Comments:

Message  ↓
Date: 2016-04-07 12:00
Sender: John Reppy

Fixed for 110.80

Attached Files:

Changes

Field Old Value Date By
status_idOpen2016-04-07 12:00jhr
close_dateNone2016-04-07 12:00jhr
assigned_tonone2016-04-07 12:00jhr
detailsWord literals are printed as integer literals (i.e., without the leading "0w"), which can result in confusing error messages. Submitted via web form by John Reppy <jhr@cs.uchicago.edu> 2016-04-07 12:00jhr
ResolutionNone2016-04-07 12:00jhr
Transcript (of reproduction)Standard ML of New Jersey v110.79 [built: Wed Apr 6 18:38:53 2016] - fun f (x : int) = x; val f = fn : int -> int - f 0w1; stdIn:2.1-2.6 Error: operator and operand don't agree [overload conflict] operator domain: int operand: [word ty] in expression: f 1 2016-04-07 12:00jhr
Source (for reproduction)fun f (x : int) = x; f 0w1; 2016-04-07 12:00jhr