Test that failure in union is commutative

2016-04-15 14:42:51 +02:00
parent 2f12a0e89d
commit 696361af4b
2 changed files with 3 additions and 0 deletions
--- a/test/commutative_fail_union1.fail
+++ b/test/commutative_fail_union1.fail
@@ -0,0 +1 @@
+π name (people)∪(people⋈skills)
--- a/test/commutative_fail_union2.fail
+++ b/test/commutative_fail_union2.fail
@@ -0,0 +1,2 @@
+(people⋈skills) ∪ π name (people)
+