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

(* withtype4.sml *)

(* Checks scoping rules of withtype *)

type u = real

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

val x = T(1, 1.0);

fun uEq (a: u, b: u) = a = b
Commit	Line	Data
7f918cf1 CE	1	(* withtype4.sml *)
	2
	3	(* Checks scoping rules of withtype *)
	4
	5	type u = real
	6
	7	datatype t = T of u * v
	8	withtype u = int
	9	and v = u
	10
	11	val x = T(1, 1.0);
	12
	13	fun uEq (a: u, b: u) = a = b