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

(* withtype2.sml *)

(* Checks scoping rules of withtype *)

type u = real

datatype t = A of v | B of u
withtype u = int
and v = u

val a = A 1.0
val b = B 1

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

fun uEq (a: u, b: u) = a = b
Commit	Line	Data
7f918cf1 CE	1	(* withtype2.sml *)
	2
	3	(* Checks scoping rules of withtype *)
	4
	5	type u = real
	6
	7	datatype t = A of v \| B of u
	8	withtype u = int
	9	and v = u
	10
	11	val a = A 1.0
	12	val b = B 1
	13
	14	val x : v = 1.0
	15	val y : u = 1
	16
	17	fun uEq (a: u, b: u) = a = b