[hcoop/debian/mlton.git] / regression / expansive-valbind.sml

val f = fn x => x
and r = ref 13
val _ = (f 1; f true)
val () = r := !r + 1
val () = print (concat [Int.toString (!r), "\n"])
val () = r := !r + 1
val () = print (concat [Int.toString (!r), "\n"])
   
val x = let exception E of 'a in () end

val 'a x = let exception E of 'a in () end

val 'a id = fn x: 'a => x
and     x = let exception E of 'a in () end

val 'a _ = let exception E of 'a in E end

val 'a (f: int -> int, _) = (fn x => x, let exception E of 'a in E end);
Commit	Line	Data
7f918cf1 CE	1	val f = fn x => x
	2	and r = ref 13
	3	val _ = (f 1; f true)
	4	val () = r := !r + 1
	5	val () = print (concat [Int.toString (!r), "\n"])
	6	val () = r := !r + 1
	7	val () = print (concat [Int.toString (!r), "\n"])
	8
	9	val x = let exception E of 'a in () end
	10
	11	val 'a x = let exception E of 'a in () end
	12
	13	val 'a id = fn x: 'a => x
	14	and x = let exception E of 'a in () end
	15
	16	val 'a _ = let exception E of 'a in E end
	17
	18	val 'a (f: int -> int, _) = (fn x => x, let exception E of 'a in E end);