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

(* typespec.sml *)\r
\r
(* Checks scoping of definitional type specifications. *)\r
\r
type t = int\r
\r
signature S =\r
sig\r
    type t = bool\r
    and  u = t\r
end\r
\r
structure X : S =\r
struct\r
    type t = bool\r
    and  u = bool\r
end;\r
Commit	Line	Data
7f918cf1 CE	1	(* typespec.sml *)\r
	2	\r
	3	(* Checks scoping of definitional type specifications. *)\r
	4	\r
	5	type t = int\r
	6	\r
	7	signature S =\r
	8	sig\r
	9	type t = bool\r
	10	and u = t\r
	11	end\r
	12	\r
	13	structure X : S =\r
	14	struct\r
	15	type t = bool\r
	16	and u = bool\r
	17	end;\r