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

[#212] datatype rebinding leaks info from abstype

Date:
2018-05-28 12:44
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:
abstype
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - abstype A = B with datatype A = datatype A end; type A datatype A = B - (B = B); stdIn:2.4 Warning: calling polyEqual val it = true : bool -
Source (for reproduction):
abstype A = B with datatype A = datatype A end; (B = B);
Summary:
datatype rebinding leaks info from abstype

Detailed description
The constructor B is made visible and the abstract type `A` incorrectly supports equality (see pages 20 & 23 of Definition).

This bug comes from the test case for bug number 1394 in the old bugs list (the original bug was fixed).

Comments:

No Comments Have Been Posted

Attached Files:

Changes

No Changes Have Been Made to This Item