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

(* withtype3.sml *)

(* Checks scoping rules of withtype *)

type u = real

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

val z = T (1, 1.0)

val x : v = 1.0
val y : u = 1

fun uEq (a: u, b: u) = a = b
Commit	Line	Data
7f918cf1 CE	1	(* withtype3.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 z = T (1, 1.0)
	12
	13	val x : v = 1.0
	14	val y : u = 1
	15
	16	fun uEq (a: u, b: u) = a = b