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

(* withtype.sml *)

(* Checks scoping rules of withtype *)

type u = int

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

val z = T(true, 6)
val y : u = true
val x : v = 1

fun tEq (a: t, b: t) = a = b
fun uEq (a: u, b: u) = a = b
fun vEq (a: v, b: v) = a = b
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 z = T(true, 6)
	12	val y : u = true
	13	val x : v = 1
	14
	15	fun tEq (a: t, b: t) = a = b
	16	fun uEq (a: u, b: u) = a = b
	17	fun vEq (a: v, b: v) = a = b