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

remove a test

Browse source
This commit is contained in:
Mylloon 2024-04-27 11:22:03 +02:00
parent b2be96a0f5
commit b8ecc596dd
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 1 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bin/main.ml
View file

@ -1 +1 @@
let () = print_endline "Hello, World!" let () = ()

8
test/test_projet_pfa_23_24.ml
View file

@ -3,7 +3,6 @@ open TypeInference
let tests_typeof = let tests_typeof =
let x = Identifier.fresh () in let x = Identifier.fresh () in
let y = Identifier.fresh () in let y = Identifier.fresh () in
let z = Identifier.fresh () in
[ (* IntConst *) [ (* IntConst *)
"0", Term.IntConst 0, Some Type.Int "0", Term.IntConst 0, Some Type.Int
; (* int -> int -> int = <fun> *) ; (* int -> int -> int = <fun> *)
@ -28,13 +27,6 @@ let tests_typeof =
( "(fun x -> x + 1) (1, 2)" ( "(fun x -> x + 1) (1, 2)"
, Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Pair (IntConst 1, IntConst 2))) , Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Pair (IntConst 1, IntConst 2)))
, None ) , None )
; (* x -> y -> (x -> y -> z) -> z *)
( "fun x -> fun y -> fun z -> z x y"
, Term.(Fun (x, Fun (y, Fun (z, App (Var z, App (Var x, Var y))))))
, Some
Type.(
Arrow (Var x, Arrow (Var y, Arrow (Arrow (Var x, Arrow (Var y, Var z)), Var z))))
)
] ]
;; ;;