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

[#210] Equality-type check in where type

Date:
2018-05-27 17:20
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:
Elaboration
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - signature K = sig = type s = include sig eqtype t end where type t = s = end; signature K = sig type s type t = s end
Source (for reproduction):
signature K = sig type s include sig eqtype t end where type t = s end;
Summary:
Equality-type check in where type

Detailed description
The following signature declaration should not elaborate; but it does
in SML/NJ.

signature K = sig
type s
include sig eqtype t end where type t = s
end

In rule (64) the requirement

/\'a(k).\tau admits equality, if t does

is not checked properly (I presume.)

This report was originally submitted by Martin Elsman (bug number 1324 in the old list)

Comments:

No Comments Have Been Posted

Attached Files:

Changes

No Changes Have Been Made to This Item