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

exception Foo of unit ref

fun f (x, r): int = if x then raise (Foo r) 
                   else (f (true, r); 1 + 2)
   
fun loop (r: unit ref): int =
   let val r' = ref ()
   in if r = r'
         then 13
      else f (false, r') handle Foo r => loop r
   end

val _ = loop (ref ())
Commit	Line	Data
7f918cf1 CE	1	exception Foo of unit ref
	2
	3	fun f (x, r): int = if x then raise (Foo r)
	4	else (f (true, r); 1 + 2)
	5
	6	fun loop (r: unit ref): int =
	7	let val r' = ref ()
	8	in if r = r'
	9	then 13
	10	else f (false, r') handle Foo r => loop r
	11	end
	12
	13	val _ = loop (ref ())