13 Jui
2018
13 Jui
'18
23:05
+let ref_write loc depth args_val = match args_val with
- | [value; Vref (actual)] ->
- ((actual := value); Vcommand (fun () -> Vcons ((dloc,"()"),[])))
| ^ | | +-----------------------------+
The assignment needs to take place not when `ref_write` is called, but when the *command* is run.
Stefan