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

datatype t = T of u | V
and u = U of t * t

fun f V = T (U (f V,f V))
  | f (T _) = V

val _ = f V
Commit	Line	Data
7f918cf1 CE	1	datatype t = T of u \| V
	2	and u = U of t * t
	3
	4	fun f V = T (U (f V,f V))
	5	\| f (T _) = V
	6
	7	val _ = f V