Skip to main content

Browse the archive

Revision 340b80e3f1075c80b74badd67ee0157f6fd7581b authored by mkolosick on 23 November 2019, 01:29:11 UTC, committed by mkolosick on 23 November 2019, 01:29:11 UTC 
app-succ and repeat
1 parent f6db5fa
Raw File
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