swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Raw File
Tip revision: cda4560576f3b975008fe892fe4fcaaaa71019fe authored by Anish Tondwalkar on 16 March 2020, 20:43:43 UTC
fix tests
Tip revision: cda4560
pointersRefs_noalias.ml
let decr x = x := !x - 1 

let rec zero r = let n = !r in if n <= 0 then () else (decr r; zero r)

let test n1 n2 = let r1 = ref n1 in
             let r2 = ref n2 in
             (zero r1 ; zero r2; assert (!r1 = 0); assert (!r2 = 0))
back to top