From 79029a186e81f42665c3c4a866f64b897aee675e Mon Sep 17 00:00:00 2001
From: Nicolas PENELOUX <nicolas.peneloux@free.fr>
Date: Sat, 25 Nov 2023 14:33:03 +0100
Subject: [PATCH] ?

---
 flap/src/hopix/hopixTypechecker.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 31b7489..d596cee 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -67,21 +67,18 @@ let rec synth_expression
   :  HopixTypes.typing_environment -> HopixAST.expression Position.located
   -> HopixTypes.aty
   =
-  fun env Position.{ value = e; position = pos } ->
-  failwith "Students! This is your job! (synth_expression)"
-
+  fun env Position.{ value = e; position = pos } -> 
+    
 and check_expression
   :  HopixTypes.typing_environment -> HopixAST.expression Position.located
   -> HopixTypes.aty -> unit
   =
   fun env (Position.{ value = e; position = pos } as exp) expected ->
-  failwith "Students! This is your job! (check_expression)"
 
 and check_value_definition
   :  HopixTypes.typing_environment -> HopixAST.value_definition
   -> HopixTypes.typing_environment
   =
-  fun env def -> failwith "Students! This is your job! (check_value_definition)"
 ;;
 
 let check_definition env = function