This commit is contained in:
Nicolas PENELOUX 2023-11-25 14:33:03 +01:00
parent da6e4547a8
commit 79029a186e

View file

@ -68,20 +68,17 @@ let rec synth_expression
-> HopixTypes.aty
=
fun env Position.{ value = e; position = pos } ->
failwith "Students! This is your job! (synth_expression)"
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