(* Test to construct polytype from type abbreviation by opaque matching. *)

structure S:> sig eqtype 'a t val mkT: 'a -> 'a t end =
struct type 'a t = 'a fun mkT x = x end;

PolyML.makestring(S.mkT 1); (* Check the pretty-printer. *)

if S.mkT 1 = S.mkT 1 then () else raise Fail "error";

if S.mkT 1 = S.mkT 2 then raise Fail "error" else ();

(* And from datatype.  *)
structure S:> sig eqtype 'a t val mkT: 'a -> 'a t end =
struct datatype 'a t = X of 'a val mkT = X end;

PolyML.makestring(S.mkT 1);

if S.mkT 1 = S.mkT 1 then () else raise Fail "error";

if S.mkT 1 = S.mkT 2 then raise Fail "error" else ();


Test for creating type ID in signature from type abbreviation.
Test for creating type ID in signature from type abbreviation.

git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@955 ae7d391e-3f74-4a2b-a0db-a8776840fd2a
