essay at synth_tannot

This commit is contained in:
Mylloon 2023-12-05 03:59:04 +01:00
parent 11b86b509a
commit 7e4a6b91bd
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -145,9 +145,11 @@ and synth_tannot
: HopixTypes.typing_environment -> expression Position.located -> ty Position.located : HopixTypes.typing_environment -> expression Position.located -> ty Position.located
-> HopixTypes.aty -> HopixTypes.aty
= =
fun tenv expr t -> fun tenv expr ty ->
(* TODO : ici on ne peut pas synthesisé. cf Cours*) (* Pas sûr de ça *)
failwith "Students! This is your job! (synth_tannot)" let ty' = synth_expression tenv expr in
check_equal_types expr.position ~expected:(HopixTypes.internalize_ty tenv ty) ~given:ty';
ty'
and synth_field and synth_field
: HopixTypes.typing_environment -> expression Position.located : HopixTypes.typing_environment -> expression Position.located