1
Vote

records should allow pointwise updates to map members

description

We should allow updates like the following, where f is a field of o of map type:

o = o / {.f[0] = 0} ;

comments