Commit 2b2335fa authored by POTTIER Francois's avatar POTTIER Francois

A few more tests.

parent ebe29a7b
......@@ -255,7 +255,12 @@ let () =
assert (not (TVar x = TVar y));
assert (not (TLambda (x, TVar x) = TLambda (y, TVar x)));
assert (not (TVar x = TLambda (x, TVar x)));
assert (not (TLambda (x, TLambda (y, TVar x)) = TLambda (x, TLambda (y, TVar y))))
assert (not (TLambda (x, TLambda (y, TVar x)) = TLambda (x, TLambda (y, TVar y))));
(* Negative test of [avoids] and [guq]. *)
assert (not (avoids_term (Atom.Set.singleton x) (TLambda (x, TVar y))));
assert (not (avoids_term (Atom.Set.empty) (TLambda (x, TLambda (x, TVar y)))));
assert (not (guq_term (TApp (TLambda (x, TVar y), TLambda (x, TVar y)))));
()
(* [fa] and [ba] should be consistent with each other. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment