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

Variable name gardening

Browse Source
This commit is contained in:
Lesenechal Remi 2019-09-30 16:34:20 +02:00
parent 2840eb7414
commit ae882c39ef
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/passes/6-transpiler/transpiler.ml
View File

@ -224,15 +224,15 @@ let rec transpile_literal : AST.literal -> value = fun l -> match l with
and transpile_environment_element_type : AST.environment_element -> type_value result = fun ele -> and transpile_environment_element_type : AST.environment_element -> type_value result = fun ele ->
match (AST.get_type' ele.type_value , ele.definition) with match (AST.get_type' ele.type_value , ele.definition) with
| (AST.T_function (f , arg) , ED_declaration (ae , ((_ :: _) as captured_variables)) ) -> | (AST.T_function (arg , ret) , ED_declaration (ae , ((_ :: _) as captured_variables)) ) ->
begin begin
match ae.expression with match ae.expression with
| E_lambda _ -> | E_lambda _ ->
let%bind f' = transpile_type f in let%bind ret' = transpile_type ret in
let%bind arg' = transpile_type arg in let%bind arg' = transpile_type arg in
let%bind env' = transpile_environment ae.environment in let%bind env' = transpile_environment ae.environment in
let sub_env = Mini_c.Environment.select captured_variables env' in let sub_env = Mini_c.Environment.select captured_variables env' in
ok @@ Combinators.t_deep_closure sub_env f' arg' ok @@ Combinators.t_deep_closure sub_env arg' ret'
| _ -> transpile_type ele.type_value | _ -> transpile_type ele.type_value
end end
| _ -> transpile_type ele.type_value | _ -> transpile_type ele.type_value