regression/deep-flatten.sml

   1 fun f r =
   2    case #1 (!r) of
   3       3 => r := (5, 6)
   4     | _ => f (ref (7, 8))
   5
   6 val r = ref (1, 2)
   7 val _ = r := (3, 4)
   8 val _ = f r
   9 val _ = print (concat [Int.toString (#1 (!r)), " ",
  10                        Int.toString (#2 (!r)), "\n"])