def find.eq.go

emerging-ezjson@1.3.0.0 · src/value.bend:291

import Base

291# character-for-character equality. `String.eq` rebuilds both strings and
292# discards the copies; a search only needs the bool. A mismatch stops.
293def find.eq.go(left: String, right: String, same: Bool) -> Bool:
294  match left right same:
295    case SNil{} SNil{} True{}:
296      True{}
297    case SCon{+x, xs} SCon{+y, ys} True{}:
298      find.eq.go(xs, ys, Char.is_eq(x, y))
299    case l r s:
300      False{}