@@ -209,7 +209,9 @@ stringSuspended f s0 s t pos more lose succ =
209 n = B.length s'
209 n = B.length s'
210 in if n >= m
210 in if n >= m
211 then if B.unsafeTake m s' == s
211 then if B.unsafeTake m s' == s
212− then succ' t' (pos' + Pos (B.length s0)) more' s0
212+ then let o = Pos (B.length s0)
213+ in succ' t' (pos' + o) more'
214+ (substring pos' o t')
213 else lose' t' pos' more' [] "string"
215 else lose' t' pos' more' [] "string"
214 else if s' == B.unsafeTake n s
216 else if s' == B.unsafeTake n s
215 then stringSuspended f s0 (B.unsafeDrop n s)
217 then stringSuspended f s0 (B.unsafeDrop n s)