Add test that fails
This commit is contained in:
parent
4aa4a54ab0
commit
d5a8975d9b
1
tests_dir/fake_union.fail
Normal file
1
tests_dir/fake_union.fail
Normal file
@ -0,0 +1 @@
|
||||
ρ name➡n,age➡a(σTrue(people)) ᑌ ρ age➡a,name➡n(people)
|
Loading…
Reference in New Issue
Block a user