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

ah! javais pas vu mdr

Browse source
This commit is contained in:
Mylloon 2023-12-04 23:36:04 +01:00
parent ee1baae420
commit 1af819d86d
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -2,8 +2,6 @@
open HopixAST open HopixAST
let get_aty (HopixTypes.Scheme (_, aty_value)) : HopixTypes.aty = aty_value
(** Error messages *) (** Error messages *)
let invalid_instantiation pos given expected = let invalid_instantiation pos given expected =
@ -235,7 +233,7 @@ and check_value_definition
| Some ty' -> | Some ty' ->
(*failwith "Students! This is your job! (check_value_definition | SimpleValue)"*) (*failwith "Students! This is your job! (check_value_definition | SimpleValue)"*)
let tys, tenv = Position.located_pos (check_type_scheme env) ty' in let tys, tenv = Position.located_pos (check_type_scheme env) ty' in
check_expression tenv ex (get_aty tys); check_expression tenv ex (HopixTypes.instantiate_type_scheme tys []);
HopixTypes.bind_value (Position.value id) tys env) HopixTypes.bind_value (Position.value id) tys env)
| 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