regression/expansive-valbind.sml

   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);