balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

simplify the simplifier and now find the free variables with a expression_fold

Browse Source
This commit is contained in:
Lesenechal Remi 2019-10-29 11:56:21 +01:00
parent e86c92bc3b
commit c288f3c81e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/passes/2-simplify/pascaligo.ml
View File

@ -1132,7 +1132,6 @@ and simpl_for_collect : Raw.for_collect -> (_ -> expression result) result = fun
| _ -> e_sequence expr (e_variable "#COMPILER#acc") in | _ -> e_sequence expr (e_variable "#COMPILER#acc") in
let for_body = add_return for_body in let for_body = add_return for_body in
(* STEP 6 *) (* STEP 6 *)
let%bind elt_type = simpl_type_expression fc.elt_type in
let for_body = let for_body =
let ( arg_access: Types.access_path -> expression ) = e_accessor (e_variable "arguments") in let ( arg_access: Types.access_path -> expression ) = e_accessor (e_variable "arguments") in
( match fc.collection with ( match fc.collection with
@ -1147,7 +1146,7 @@ and simpl_for_collect : Raw.for_collect -> (_ -> expression result) result = fun
let acc = arg_access [Access_tuple 0] in let acc = arg_access [Access_tuple 0] in
let collec_elt = arg_access [Access_tuple 1] in let collec_elt = arg_access [Access_tuple 1] in
e_let_in ("#COMPILER#acc", None) acc @@ e_let_in ("#COMPILER#acc", None) acc @@
e_let_in ("#COMPILER#collec_elt", Some elt_type) collec_elt (for_body) e_let_in ("#COMPILER#collec_elt", None) collec_elt (for_body)
) in ) in
(* STEP 7 *) (* STEP 7 *)
let%bind collect = simpl_expression fc.expr in let%bind collect = simpl_expression fc.expr in