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

[#214] exception raised by pretty printer in REPL

Date:
2018-05-28 14:22
Priority:
3
State:
Closed
Submitted by:
John Reppy (jhr)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
All
Operating System:
All
Component:
Compiler
Resolution:
Fixed
Severity:
Minor
OS Version:
SML/NJ Version:
110.82
Keywords:
pretty printer
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - val a = 0 = datatype t = a; val a = <PPDec.getVal failure> datatype t = a -
Source (for reproduction):
val a = 0 datatype t = a;
Summary:
exception raised by pretty printer in REPL

Detailed description
This bug is number 1400 in the old bug list.

Comments:

Message  ↓
Date: 2020-04-10 01:34
Sender: David MacQueen

The fix consists of simply changing the string printed when the binding of the variable is shadowed by a second declaration. Another example of this is:

val a = 0 exception a;

It now prints

val a = <hidden>

for the val declaration for a.

Date: 2020-04-08 22:29
Sender: David MacQueen

Secondary error noted in previous comment occurs only in the aftermath of
the main bug above.

Date: 2020-04-08 22:22
Sender: David MacQueen

Related bug:
structure S = struct val a = 0 datatype t = a end;

produces the error

Error: pattern and expression in val dec do not agree [overload conflict]

Attached Files:

Changes

Field Old Value Date By
ResolutionAccepted As Bug2020-04-10 12:44jhr
status_idOpen2020-04-10 01:34dbm
close_dateNone2020-04-10 01:34dbm