synth_read

This commit is contained in:
Mylloon 2023-12-05 04:10:33 +01:00
parent f82e28cd8b
commit 9d077bcbc1
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -202,7 +202,9 @@ and synth_assign
and synth_read and synth_read
: HopixTypes.typing_environment -> expression Position.located -> HopixTypes.aty : HopixTypes.typing_environment -> expression Position.located -> HopixTypes.aty
= =
fun tenv ref -> failwith "Students! This is your job! (synth_read)" fun tenv ref ->
let refty = synth_expression tenv ref in
HopixTypes.destruct_reference_type ref.position refty
and synth_case and synth_case
: HopixTypes.typing_environment -> expression Position.located : HopixTypes.typing_environment -> expression Position.located