Paris7/compilation
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Activity

coupé en 2

Browse source
This commit is contained in:
Mylloon 2023-11-21 17:17:43 +01:00
parent da6e4547a8
commit e091ae9860
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
flap/src/hopix/hopixTypechecker.ml
View file

@ -81,7 +81,11 @@ and check_value_definition
: HopixTypes.typing_environment -> HopixAST.value_definition : HopixTypes.typing_environment -> HopixAST.value_definition
-> HopixTypes.typing_environment -> HopixTypes.typing_environment
= =
fun env def -> failwith "Students! This is your job! (check_value_definition)" fun env -> function
| SimpleValue _ ->
failwith "Students! This is your job! (check_value_definition | SimpleValue)"
| RecFunctions _ ->
failwith "Students! This is your job! (check_value_definition | RecFunctions)"
;; ;;
let check_definition env = function let check_definition env = function