tests/old.mlw

   1
   2
   3 module T
   4
   5   use int.Int
   6   use module ref.Ref
   7
   8   val x : ref int
   9
  10   val f () : { } unit writes x { !x = !(old x) + 1 }
  11
  12   let t () =
  13      x := 3;
  14      f ();
  15      assert { !x = 5 }
  16
  17
  18 end
  19