def equal_walk

bendvy-ecs-core@0.1.0.3 · string_equality.bend:3

import Base

3# Experimental exact codepoint equality. No ordering or reconstructed input pair.
4def equal_walk(a: String,b: String,same: Bool) -> Bool:
5  match a b:
6    case SNil{} SNil{}: same
7    case SNil{} SCon{_,_}: False{}
8    case SCon{_,_} SNil{}: False{}
9    case SCon{a,as} SCon{b,bs}: equal_walk(as,bs,Bool.and(same,Char.is_eq(a,b)))