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

select op_name from collection key word

Browse Source
This commit is contained in:
Lesenechal Remi 2019-10-26 14:27:29 +02:00
parent 79de96136d
commit db79b6b9da
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1037,7 +1037,11 @@ and simpl_for_collect : Raw.for_collect -> (_ -> expression result) result = fun
(* Here it's not possible to know the type of the variable captures in the record ..*)
let lambda = e_lambda "_COMPILER_for_collect_lambda" None None block'' in
let%bind collect = simpl_expression fc.expr in
let fold = e_constant "LIST_FOLD" [collect ; init_record ; lambda] in
let op_name = match fc.collection with
| Map _ -> "MAP_FOLD"
| Set _ -> "SET_FOLD"
| List _ -> "LIST_FOLD" in
let fold = e_constant op_name [collect ; init_record ; lambda] in
let final = e_let_in ("_COMPILER_init_record", None) init_record
@@ (e_let_in ("_COMPILER_folded_record", None) fold (e_skip ())) in