egison-4.0.1: sample/ioRef.egi

refTest x y :=
  do let w := newIORef ()
     writeIORef w x
     let w1 := readIORef w
     print (show w1)
     writeIORef w y
     let w2 := readIORef w
     print (show w2)
     flush ()

main args := refTest 1 2