no type = fail
This commit is contained in:
parent
9700dddcac
commit
c41d137715
1 changed files with 5 additions and 3 deletions
|
@ -208,13 +208,15 @@ and check_value_definition
|
||||||
-> HopixTypes.typing_environment
|
-> HopixTypes.typing_environment
|
||||||
=
|
=
|
||||||
fun env -> function
|
fun env -> function
|
||||||
| SimpleValue (id, Some ty, ex) ->
|
| SimpleValue (id, ty, ex) ->
|
||||||
failwith "Students! This is your job! (check_value_definition | SimpleValue)"
|
(match ty with
|
||||||
|
| None -> failwith "Type missing."
|
||||||
|
| Some ty' ->
|
||||||
|
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
|
(* Je crois que c'est galère et donc c'est pas grave si on arrive pas
|
||||||
à faire les fonctions récursives *)
|
à 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