[hcoop/debian/mlton.git] / regression / where.sml

(* where.sml *)

(* Checks treatment of type realisations. *)

signature S =
sig
    type t
    type s = t
end where type s = int;

(* Due to Martin Elsman, also see SML/NJ bug 1330. *)
signature T =   
   sig
      type s
      structure U :
         sig
            type 'a t
            type u = (int * real) t
         end where type 'a t = s
   end where type U.u = int;
Commit	Line	Data
7f918cf1 CE	1	(* where.sml *)
	2
	3	(* Checks treatment of type realisations. *)
	4
	5	signature S =
	6	sig
	7	type t
	8	type s = t
	9	end where type s = int;
	10
	11	(* Due to Martin Elsman, also see SML/NJ bug 1330. *)
	12	signature T =
	13	sig
	14	type s
	15	structure U :
	16	sig
	17	type 'a t
	18	type u = (int * real) t
	19	end where type 'a t = s
	20	end where type U.u = int;