Tests for Pair (⋈)

2 files changed, 10 insertions, 4 deletions

diff --git a/test/cases/fill.bqn b/test/cases/fill.bqn
index dab7a65b..f0a3aa68 100644
--- a/test/cases/fill.bqn
+++ b/test/cases/fill.bqn
@@ -12,11 +12,13 @@
 (1‿3⥊4‿0‿0)   ≡ ↑‿3⥊4
 (4‿3⥊12↑<¨↕10)≡ ↑‿3⥊<¨↕10
 
-# Box generates arbitrary fill elements
+# Box and Pair generate arbitrary fill elements
 ∧´ (2⊸↑ ≡ 1‿0⊸×)∘<¨ ⟨π, ↕3, "", 2+⌜○↕3, ≍˘⟨2‿1,↕4‿2⟩⟩
 (0¨ ≡ 1⊑2↑<) ∞‿¯∞‿0
 "  "‿0 ≡ ⊑»1⥊<"xy"‿¯π
 ⟨7⥊0‿' '⟩ ≡ »≍<'a'⍟(2⊸|)¨↕7
+∧´ (< ≡○(2⊸↑) ⋈)¨ ⟨'y', ↕0, ≍˘⟨2‿1,↕4‿2⟩⟩
+((2⥊<) ≡○(3⊸↑) ⋈˜) ⟨"ab"‿⟨↕4⟩,2⟩
 
 # Special cases
 0 ≡ ⊑1↑↕0
diff --git a/test/cases/prim.bqn b/test/cases/prim.bqn
index 2858d989..60f83aff 100644
--- a/test/cases/prim.bqn
+++ b/test/cases/prim.bqn
@@ -251,12 +251,16 @@
 0≡≡⊑⟨-⟩
 
 # LAYER 4
+"a"≡⋈'a'
+({⟨𝕩⟩}≡⋈)'a'‿2
+"abc"‿1≡"abc"⋈1
+⋈´⊸≡"ab"
 ∧´≡⟜>¨⟨1,<'a',<∞,↕5,5‿3⥊2⟩
 2‿3‿2≡≢>↕2‿3
 2‿3≡>⟨<2,3⟩
 ! % >↕¨2‿3
 ! % >⟨⥊2,3⟩
-! % >(≍≍○<⊢)↕4
+! % >(≍⋈⊢)↕4
 ((4⥊2)⊸⥊≡(>2‿2⥊·<2‿2⥊⊢))"abcd"
 (⊢≡>∘<)5‿3⥊↕15
 (⊢≡(><¨))5‿3⥊↕15
@@ -275,7 +279,7 @@
 (≍˘˜⥊˘1‿5‿9)≡⌽⎉2⊸+⥊⟜(↕×´)3‿2‿1
 (<0)≡≡˘0
 (<1)≡≡˘<0
-(2⥊<<"ab") ≡ ≍○<˜˘<"ab"
+(2⥊<<"ab") ≡ ⋈˜˘<"ab"
 (3⥊0) ≡ {-}=˘↕3
 (↕4)(×⌜≡×⎉0‿2)↕5
 (↕4)(⋆˜⌜˜≡⋆⎉∞‿¯4)↕5
@@ -447,7 +451,7 @@
 (⊔≡·≍⍟2∘<·∾⌜´/∘(0⊸=)¨)⟨0‿¯1‿0‿0,¯1‿0‿0⟩
 (0‿0‿1↑⌜≍⍟2∘<∘⥊¨1‿0)≡⊔⟨2,1‿0⟩
 (0‿0‿1↑⌜≍⍟2∘(<0‿0‿0⊸∾)¨1‿0)≡⊔0‿0⊸↓¨⟨2,1‿0⟩
-4‿3‿2(≍○<≡·(≠¨≍○<∾)/⊸⊔)"abcdefghi"
+4‿3‿2(⋈≡·(≠¨⋈∾)/⊸⊔)"abcdefghi"
 ⟨⟩≡(3⥊¯1)⊔"abc"
 ⟨⟩≡(2⥊¯1)⊔"a"
 ! % ⊔˜'a'‿1‿0