-- CONSTRAINED EQUALITY TESTS
:load General

-- PLAIN TESTS
4=:=2 + 2
7 + 2=:=9

-- next should fails
0=:=1

-- NARROWING TESTS
X=:=2 + 2 where X free
5 - (4 - 3)=:=Y where Y free
X=:=(1:2:[]) ++ [] where X free
X=:=(Y:Z) ++ [] where X,Y,Z free
X ++ Y=:=Z where X,Y,Z free
X=:=Y where X,Y free
X=:=X where X free

-- next should fail by occurcheck
X=:=1:X where X free
X=:=(1:2:[]) ++ X where X free

-- NON-DETERMINISTIC TESTS
coin=:=coin
coin + 0=:=X where X free


-- FORBIDDEN-BY-CURRY TESTS
-- eqSuccess is not defined for the type Success
success=:=success
-- constructor Success is private in Curry
Success=:=WWW where WWW free

-- PARALLEL-AND TESTS
success & WWW where WWW free
X=:=Y & Y=:=2 + 2 where X,Y free
X=:=2 & Y=:=X + 2 where X,Y free
4=:=X + 2 & X=:=2 where X free

-- SEQUENTIAL-AND TESTS
X &> Y where X,Y free
success &> success
(success & WWW) &> R where WWW,R free
X=:=2 &> Y=:=X + 2 where X,Y free
4=:=X + 2 &> X=:=2 where X free