synth_define

2023-12-04 23:50:29 +01:00 · 2023-12-04 23:50:29 +01:00 · a4ea0f62d2
commit a4ea0f62d2
parent 3c30abe0ac
1 changed files with 3 additions and 1 deletions
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@ -177,7 +177,9 @@ and synth_define
  :  HopixTypes.typing_environment -> value_definition -> expression Position.located
  -> HopixTypes.aty
  =
-  fun tenv vdef expr -> failwith "Students! This is your job! (synth_define)"
+  fun tenv vdef expr ->
+  let tenv = check_value_definition tenv vdef in
+  synth_expression tenv expr

 and synth_ref
  : HopixTypes.typing_environment -> expression Position.located -> HopixTypes.aty