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

[#209] Special identifiers can be rebound in datatype and exception declarations

Date:
2018-05-26 14:33
Priority:
3
State:
Open
Submitted by:
John Reppy (jhr)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
All
Operating System:
All
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Minor
OS Version:
SML/NJ Version:
110.82
Keywords:
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - datatype t1 = it; datatype t1 = it - datatype t2 = true; datatype t2 = true - exception false; exception false - datatype t3 = ::; datatype t3 = :: - exception nil; exception nil
Source (for reproduction):
datatype t1 = it; datatype t2 = true; exception false; datatype t3 = ::; exception nil;
Summary:
Special identifiers can be rebound in datatype and exception declarations

Detailed description
In Section 2.9 of the Definition (page 9), there is a restriction on the rebinding of special identifiers (true, false, it, ::, and nil) in datatype/exception declarations. This restriction is not being enforced.

Comments:

Message  ↓
Date: 2018-05-26 14:37
Sender: John Reppy

This bug is number 1328 in the old bug list.

Attached Files:

Changes

No Changes Have Been Made to This Item