From 9e5ae133d2c08a8afad1fa6e0db9db18dd257a54 Mon Sep 17 00:00:00 2001 From: Pierre-Emmanuel Wulfman Date: Wed, 15 Apr 2020 21:44:57 +0200 Subject: [PATCH] fix old typer --- src/passes/08-typer-old/typer.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/passes/08-typer-old/typer.ml b/src/passes/08-typer-old/typer.ml index ba6f7bd36..c86afc037 100644 --- a/src/passes/08-typer-old/typer.ml +++ b/src/passes/08-typer-old/typer.ml @@ -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 | E_raw_code {language;code;type_anno} -> 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} -> let%bind fun_type = evaluate_type e fun_type in let e' = Environment.add_ez_binder fun_name fun_type e in