You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@Araq low priority but I noticed the following while working on some PR; is the following a bug? sfAddrTaken is not set for array a on a[0].addr even though a and a[0].addr have the same address.
whentrue: # D20200711T150822procmain() =var a = [0,1]
let a1 = a[0].addr# this does not set `sfAddrTaken` on `a`addresslet a2 = a.addr# this does set `sfAddrTaken` on `a`
The text was updated successfully, but these errors were encountered:
@Araq low priority but I noticed the following while working on some PR; is the following a bug?
sfAddrTaken
is not set for arraya
ona[0].addr
even thougha
anda[0].addr
have the same address.The text was updated successfully, but these errors were encountered: