Re: [Typer] [Git][monnier/typer][graveline] Added built in function Ref_make, Ref_read, Ref_write

+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