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

synth_ref

Browse source
This commit is contained in:
Mylloon 2023-12-05 00:06:34 +01:00
parent 28f303ee51
commit 11b86b509a
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -183,7 +183,7 @@ and synth_define
and synth_ref and synth_ref
: HopixTypes.typing_environment -> expression Position.located -> HopixTypes.aty : HopixTypes.typing_environment -> expression Position.located -> HopixTypes.aty
= =
fun tenv expr -> failwith "Students! This is your job! (synth_ref)" fun tenv expr -> HopixTypes.href (synth_expression tenv expr)
and synth_assign and synth_assign
: HopixTypes.typing_environment -> expression Position.located : HopixTypes.typing_environment -> expression Position.located