From ab3ebfa3c585fee815980688965ffe3929e24aa2 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 18 Aug 2021 16:39:03 -0400 Subject: Constant matching in headers (fixes #11) --- test/cases/header.bqn | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'test') diff --git a/test/cases/header.bqn b/test/cases/header.bqn index 3d1db0cb..af4e949e 100644 --- a/test/cases/header.bqn +++ b/test/cases/header.bqn @@ -120,3 +120,10 @@ 3 % {๐•Šaโ€ฟb:b-a;โ‰ ๐•ฉ}3โ€ฟ5โ€ฟ6 3 % 1 {โŸจa,bโŸฉ_r๐•ฉ:a+bร—๐•ฉ; a _r๐•ฉ:aโ€ฟa _r ๐•ฉ} 2 7 % 1โ€ฟ3{โŸจa,bโŸฉ_r๐•ฉ:a+bร—๐•ฉ; a _r๐•ฉ:aโ€ฟa _r ๐•ฉ} 2 +({2:4;๐•ฉ}ยจโ‰กโŠข+2ร—2โŠธ=)โ†•4 +โŸจ0โ€ฟ1,2โŸฉโ‰ก{1โ€ฟb:b;๐•Š:๐•ฉ}ยจ+โŸœ<โ†•2 +0โ€ฟ1โ€ฟ'c'โ€ฟ3 โ‰ก {S aโ€ฟ2:a;S aโ€ฟb:b}ยจ"abcd"โˆพยจโ†•4 +4โ€ฟ2โ€ฟ4โ€ฟ3 โ‰ก {๐•จ๐•Š0:4;1+๐•ฉ;๐•ฉร—๐•จ}ยจ{๐”ฝโˆพ3๐”ฝโŠข}โ†•2 +2 % 4 3{4 3 _๐•ฃ_ 2 1:๐•จรท๐•˜}2 1 +55 % 1โ€ฟ1{๐•—_r 1:0โŠ‘๐•— ; ๐•—_r 2:1โŠ‘๐•— ; _r: +ยด ๐•—_rยจ ๐•ฉ-1โ€ฟ2} 10 +34 % 1โ€ฟ1{๐•—_r_๐•˜ 1:0โŠ‘๐•— ; ๐•—_r_๐•˜ 2:1โŠ‘๐•— ; _r_: ๐”พยด ๐•Šยจ ๐•ฉ-1โ€ฟ2}+ 9 -- cgit v1.2.3