Problem with realisation in where type

[JohnReppy]

Version

110.82

Operating System

• All
• Linux
• macOS
• Windows
• Other Unix

OS Version

No response

Processor

Any

Component

Core system

Severity

Minor

Description of the problem

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

Transcript

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

Expected Behavior

No response

Steps to Reproduce

signature S = sig
datatype 'a t = A of 'a
end where type 'a t = int

Additional Information

No response

Email address

No response

Comments from smlnj-gforge

Original smlnj-gforge bug number 211

Submitted on 2018-29-27 at 17:2900

Keywords: Elaboration