mm
This commit is contained in:
parent
e091ae9860
commit
acd881c0dd
1 changed files with 4 additions and 1 deletions
|
@ -82,10 +82,13 @@ and check_value_definition
|
||||||
-> HopixTypes.typing_environment
|
-> HopixTypes.typing_environment
|
||||||
=
|
=
|
||||||
fun env -> function
|
fun env -> function
|
||||||
| SimpleValue _ ->
|
| SimpleValue (id, Some ty, ex) ->
|
||||||
failwith "Students! This is your job! (check_value_definition | SimpleValue)"
|
failwith "Students! This is your job! (check_value_definition | SimpleValue)"
|
||||||
| RecFunctions _ ->
|
| RecFunctions _ ->
|
||||||
|
(* Je crois que c'est galère et donc c'est pas grave si on arrive pas
|
||||||
|
à faire les fonctions récursives *)
|
||||||
failwith "Students! This is your job! (check_value_definition | RecFunctions)"
|
failwith "Students! This is your job! (check_value_definition | RecFunctions)"
|
||||||
|
| _ -> failwith "Students! This is your job!"
|
||||||
;;
|
;;
|
||||||
|
|
||||||
let check_definition env = function
|
let check_definition env = function
|
||||||
|
|
Reference in a new issue