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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/2669433a8cc18b496ad3cc851adff78979d3... You're receiving this email because of your account on gitlab.com.