Jonathan Graveline pushed to branch graveline at Stefan / Typer
Commits: 2669433a by Jonathan Graveline at 2018-06-14T03:23:09Z Ref_write affect when command is run - - - - -
1 changed file:
- src/eval.ml
Changes:
===================================== src/eval.ml ===================================== --- a/src/eval.ml +++ b/src/eval.ml @@ -713,7 +713,7 @@ let ref_read loc depth args_val = match args_val with
let ref_write loc depth args_val = match args_val with | [value; Vref (actual)] -> - ((actual := value); Vcommand (fun () -> Vcons ((dloc,"()"),[]))) + Vcommand (fun () -> actual := value; Vcons ((dloc,"()"),[])) | _ -> error loc "Ref.write takes a value and a Ref as argument"
let register_builtin_functions () =
View it on GitLab: https://gitlab.com/monnier/typer/commit/2669433a8cc18b496ad3cc851adff78979d3...