From a6f8ea69d0721a9dd4886acd5923d63f2600d2ea Mon Sep 17 00:00:00 2001 From: Mylloon Date: Tue, 5 Dec 2023 20:39:55 +0100 Subject: [PATCH] ? j'en sais rien --- flap/src/hopix/hopixTypechecker.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml index 62f45b7..663e942 100644 --- a/flap/src/hopix/hopixTypechecker.ml +++ b/flap/src/hopix/hopixTypechecker.ml @@ -234,7 +234,7 @@ and synth_field : HopixTypes.typing_environment -> expression Position.located -> label Position.located -> ty Position.located list option -> HopixTypes.aty = - fun tenv expr lbl tlist -> + fun tenv expr lbl _tlist -> let expr_type = synth_expression tenv expr in match expr_type with | ATyCon (cons, atlist) -> @@ -248,7 +248,8 @@ and synth_field | HopixTypes.InvalidInstantiation { expected; given } -> invalid_instantiation (Position.position expr) expected given in - (* TODO: On doit utiliser cons et tlist aussi *) + (* Peut ĂȘtre inutile ? *) + let _ = HopixTypes.lookup_fields_of_type_constructor lbl.position cons tenv in snd (HopixTypes.destruct_function_type lbl.position arrow) | _ as x -> x