Paris7/unification-pfa
Archived
1
0
Fork 0
Code Issues Activity

a test

Browse source
This commit is contained in:
Mylloon 2024-04-30 11:12:41 +02:00
parent 981c513bd9
commit b94ec3456d
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
test/test_projet_pfa_23_24.ml
View file

@ -42,6 +42,10 @@ let tests_typeof =
, Some Type.(Arrow (Int, Arrow (Int, Int))) ) , Some Type.(Arrow (Int, Arrow (Int, Int))) )
; (* Use of a non declared variable *) ; (* Use of a non declared variable *)
"fun x -> fun y -> y / z", Term.(Fun (x, Fun (y, Binop (Var y, Div, Var z)))), None "fun x -> fun y -> y / z", Term.(Fun (x, Fun (y, Binop (Var y, Div, Var z)))), None
(* Type mismatch between argument and function *)
; ( "(fun x -> x + 1) true"
, Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Var x))
, None )
] ]
;; ;;