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

[#211] Problem with realisation in where type

Date:
2018-05-27 17:29
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 S = sig = datatype 'a t = A of 'a = end where type 'a t = int; signature S = sig datatype t = datatype int end
Source (for reproduction):
signature S = sig datatype 'a t = A of 'a end where type 'a t = int
Summary:
Problem with realisation in where type

Detailed description
This bug was originally reported by Martin Elsman (bug number 1329 in the old bug list).

Comments:

No Comments Have Been Posted

Attached Files:

Changes

No Changes Have Been Made to This Item