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

fix old typer

Browse Source
This commit is contained in:
Pierre-Emmanuel Wulfman 2020-04-15 21:44:57 +02:00
parent fa7cc825eb
commit 9e5ae133d2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/passes/08-typer-old/typer.ml
View File

@ -938,7 +938,8 @@ and type_expression' : environment -> ?tv_opt:O.type_expression -> I.expression
return (E_let_in {let_binder; rhs; let_result; inline}) let_result.type_expression return (E_let_in {let_binder; rhs; let_result; inline}) let_result.type_expression
| E_raw_code {language;code;type_anno} -> | E_raw_code {language;code;type_anno} ->
let%bind type_anno = evaluate_type e type_anno in let%bind type_anno = evaluate_type e type_anno in
return (E_raw_code {language;code;type_anno}) type_anno let%bind (_input_type,output_type) = get_t_function type_anno in
return (E_raw_code {language;code;type_anno}) output_type
| E_recursive {fun_name; fun_type; lambda} -> | E_recursive {fun_name; fun_type; lambda} ->
let%bind fun_type = evaluate_type e fun_type in let%bind fun_type = evaluate_type e fun_type in
let e' = Environment.add_ez_binder fun_name fun_type e in let e' = Environment.add_ez_binder fun_name fun_type e in