Paris7/compilation
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Activity

? j'en sais rien

Browse source
This commit is contained in:
Mylloon 2023-12-05 20:39:55 +01:00
parent 624590e849
commit a6f8ea69d0
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
flap/src/hopix/hopixTypechecker.ml
View file

@ -234,7 +234,7 @@ and synth_field
: HopixTypes.typing_environment -> expression Position.located : HopixTypes.typing_environment -> expression Position.located
-> label Position.located -> ty Position.located list option -> HopixTypes.aty -> 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 let expr_type = synth_expression tenv expr in
match expr_type with match expr_type with
| ATyCon (cons, atlist) -> | ATyCon (cons, atlist) ->
@ -248,7 +248,8 @@ and synth_field
| HopixTypes.InvalidInstantiation { expected; given } -> | HopixTypes.InvalidInstantiation { expected; given } ->
invalid_instantiation (Position.position expr) expected given invalid_instantiation (Position.position expr) expected given
in 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) snd (HopixTypes.destruct_function_type lbl.position arrow)
| _ as x -> x | _ as x -> x