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:16:16 +02:00
parent b94ec3456d
commit 32cc3ba032
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
test/test_projet_pfa_23_24.ml
View file

@ -46,6 +46,11 @@ let tests_typeof =
; ( "(fun x -> x + 1) true"
, Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Var x))
, None )
; (* Nested functions *)
( "(fun x -> fun y -> x + y) 3 4"
, Term.(
App (App (Fun (x, Fun (y, Binop (Var x, Plus, Var y))), IntConst 3), IntConst 4))
, Some Type.Int )
]
;;