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

sequence

Browse source
This commit is contained in:
Nicolas PENELOUX 2023-12-04 18:40:31 +01:00
parent 4805abe904
commit 07230fc0ed
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -157,7 +157,16 @@ 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