aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/String.bruijn
diff options
context:
space:
mode:
Diffstat (limited to 'std/String.bruijn')
-rw-r--r--std/String.bruijn4
1 files changed, 2 insertions, 2 deletions
diff --git a/std/String.bruijn b/std/String.bruijn
index 9267f20..d613dea 100644
--- a/std/String.bruijn
+++ b/std/String.bruijn
@@ -35,8 +35,8 @@ number! from-digits ∘ (map C.number!)
# splits string by newline character
lines z [[rec]]
- rec ∅?(~broken) (^broken : empty) (^broken : (1 ~(~broken)))
- broken break (B.eq? '\n') 0
+ rec build (break (B.eq? '\n') 0)
+ build [∅?(~0) (^0 : empty) (^0 : (2 ~(~0)))]
:test (lines "ab\ncd") ("ab" : ("cd" : empty))