aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-02-15 20:52:54 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-02-15 20:59:31 -0500
commit19d4e4da6a93deb398f87bb6b42b1b1ee3c4926e (patch)
treecba3ffb2e035aae2cc828d3289f5e586c2bd4589 /dzref
parent4fd3566067b123ba53e0923520bdc8e19fad7d83 (diff)
Give an empty result, not an error, whenever 𝕨 is longer than 𝕩 in Find
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref2
1 files changed, 1 insertions, 1 deletions
diff --git a/dzref b/dzref
index 32aad9d6..24b526b2 100755
--- a/dzref
+++ b/dzref
@@ -57,7 +57,7 @@ MarkFirst←{
Find←{
r←=𝕨
! r≀=𝕩
- 𝕨 β‰‘βŽ‰r (≒𝕨) β†•βŽ‰r 𝕩
+ 𝕨 β‰‘βŽ‰r ((1+r-βŠΈβ†‘β‰’π•©)βŒŠβ‰’π•¨)βŠΈβ†•βŽ‰r 𝕩
}
⊐ ← ⊐ ⊘ IndexOf