mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Locked field won't update

mukul-rathi opened this issue · comments

let (i = 0; i< 10; i++){
x.f := x.f + i 
}

x.f is set to 0 if using a locked capability, rather than 55 (1+2+...+10).

this is grouped with existing lock issue