From a01eba04e3138f1581724a634f4d440bfaffc3cb Mon Sep 17 00:00:00 2001 From: Mylloon Date: Mon, 4 Dec 2023 17:47:16 +0100 Subject: [PATCH] fmt --- flap/src/hopix/hopixTypechecker.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml index 7f6a001..0699559 100644 --- a/flap/src/hopix/hopixTypechecker.ml +++ b/flap/src/hopix/hopixTypechecker.ml @@ -41,9 +41,9 @@ let check_type_scheme -> HopixTypes.aty_scheme * HopixTypes.typing_environment = fun env pos (ForallTy (ts, ty)) -> - let ts = List.map Position.value ts in - let env = HopixTypes.bind_type_variables pos env ts in - (HopixTypes.Scheme (ts, HopixTypes.internalize_ty env ty), env) + let ts = List.map Position.value ts in + let env = HopixTypes.bind_type_variables pos env ts in + HopixTypes.Scheme (ts, HopixTypes.internalize_ty env ty), env ;; let synth_literal : HopixAST.literal -> HopixTypes.aty = @@ -215,7 +215,7 @@ and check_value_definition | None -> failwith "Type missing." | Some ty' -> (*failwith "Students! This is your job! (check_value_definition | SimpleValue)"*) - let tys,_ = Position.located_pos (check_type_scheme env) ty' in + let tys, _ = Position.located_pos (check_type_scheme env) ty' in 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