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

sequence

Browse source 
Co-authored-by: Nicolas PENELOUX <nicolas.peneloux@free.fr>
This commit is contained in:
Mylloon 2023-12-04 18:50:55 +01:00
parent 72c323b2c8
commit a4910af26d
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -157,7 +157,14 @@ and synth_tuple
and synth_sequence
: HopixTypes.typing_environment -> expression Position.located list -> HopixTypes.aty
=
fun tenv elist -> failwith "Students! This is your job! (synth_sequence)"
fun tenv elist ->
match elist with
| [] -> failwith "erreur sequence"
| [ x ] -> synth_expression tenv x
| x :: l ->
let x_type = synth_expression tenv x in
check_equal_types x.position HopixTypes.hunit x_type;
synth_sequence tenv l
and synth_define
: HopixTypes.typing_environment -> value_definition -> expression Position.located