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

(* withtype.sml *)

(* Checks scoping rules of withtype *)

type u = int

datatype t = T of u * v
withtype u = bool
and      v = u

val x = T(true, 6);
Commit	Line	Data
7f918cf1 CE	1	(* withtype.sml *)
	2
	3	(* Checks scoping rules of withtype *)
	4
	5	type u = int
	6
	7	datatype t = T of u * v
	8	withtype u = bool
	9	and v = u
	10
	11	val x = T(true, 6);