From 1af819d86d12cc49eecf0d74c19676f55db53f63 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Mon, 4 Dec 2023 23:36:04 +0100 Subject: [PATCH] ah! javais pas vu mdr --- flap/src/hopix/hopixTypechecker.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml index 2dc3989..cb2028b 100644 --- a/flap/src/hopix/hopixTypechecker.ml +++ b/flap/src/hopix/hopixTypechecker.ml @@ -2,8 +2,6 @@ open HopixAST -let get_aty (HopixTypes.Scheme (_, aty_value)) : HopixTypes.aty = aty_value - (** Error messages *) let invalid_instantiation pos given expected = @@ -235,7 +233,7 @@ and check_value_definition | Some ty' -> (*failwith "Students! This is your job! (check_value_definition | SimpleValue)"*) let tys, tenv = Position.located_pos (check_type_scheme env) ty' in - check_expression tenv ex (get_aty tys); + check_expression tenv ex (HopixTypes.instantiate_type_scheme tys []); HopixTypes.bind_value (Position.value id) tys env) | RecFunctions _ -> (* Je crois que c'est galère et donc c'est pas grave si on arrive pas