This commit is contained in:
Tom Jack 2019-10-11 15:27:41 -05:00
parent b64f82dff7
commit c2a3fd473c

View File

@ -810,7 +810,7 @@ and simpl_single_instruction : Raw.single_instr -> (_ -> expression result) resu
| _ :: _ -> | _ :: _ ->
let assigns = List.fold_right let assigns = List.fold_right
(fun hd s -> e_constant "SET_ADD" [hd ; s]) (fun hd s -> e_constant "SET_ADD" [hd ; s])
inj (e_variable name) in inj (e_accessor ~loc (e_variable name) access_path) in
e_assign ~loc name access_path assigns in e_assign ~loc name access_path assigns in
return_statement @@ expr return_statement @@ expr
) )