Signed-off-by: Jim Pryor <profjim@jimpryor.net>
...
| Setref (expr1, expr2) ->
let (Index n, s') = eval expr1 g s
- (* note that s' may be different from s, if expr itself contained any mutation operations *)
+ (* note that s' may be different from s, if expr1 itself contained any mutation operations *)
in let (new_value, s'') = eval expr2 g s'
(* now we create a list which is just like s'' except it has new_value in index n *)
in let rec replace_nth lst m =