'update undefined' when array updates are used and a local function 'update' is defined
The following program does not compile with the error update undefined
:
import StdEnv
Start = update {{#1} & [0]=2}
update x = x
I imagine this is also a problem for the other members of the Array (and List?) class.