Add support for ? predicates

1 files changed, 14 insertions, 0 deletions

diff --git a/test/cases/header.bqn b/test/cases/header.bqn
index 43051a7b..303ba0fe 100644
--- a/test/cases/header.bqn
+++ b/test/cases/header.bqn
@@ -115,6 +115,20 @@
 2 % +⟜1{F _r_ G:{𝕊𝕩:F𝕩; 𝕨𝕊𝕩:𝕨G𝕩}}⋆{2⊸𝔽÷𝔽}3
 ! % {𝕨Fail𝕩:𝕨;𝕩}@
 
+# Predicates
+4 % {0 ? 3;4}
+! % {a←1?5;a}
+! % {5;1<2?6}
+! % {x←4⋄x=x?;4}
+! % {·?2;3} # TODO detect in compiler
+2 % {a←2⋄4=טa,?a;6}
+2 % a←2⋄{a>1?a<1?-a;a}
+1 % -´{𝕩≤2?3×𝕩;𝕩}¨2‿5
+! % {𝕩;𝕨<2?0;𝕨}
+3 % 1{𝕨<𝕩?𝕨+𝕩;𝕩;𝕨}2
+3 % 3{𝕨<𝕩?𝕨+𝕩;𝕩;𝕨}2
+4 % ⟨4,2⟩{=𝕗?⊑𝕗;𝕗}
+
 # Destructuring
 2 % {𝕊a‿b:b-a}3‿5
 ! % {𝕊a‿b:𝕩}↕4