From 11b86b509a7645409c71369a391e2a11a367cbc8 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Tue, 5 Dec 2023 00:06:34 +0100 Subject: [PATCH] synth_ref --- flap/src/hopix/hopixTypechecker.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml index 6d64811..c17f29e 100644 --- a/flap/src/hopix/hopixTypechecker.ml +++ b/flap/src/hopix/hopixTypechecker.ml @@ -183,7 +183,7 @@ and synth_define and synth_ref : 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 : HopixTypes.typing_environment -> expression Position.located