def in.str.go

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:2127

import Base

2127def in.str.go(n: Nat, xs: List<&2, U32>, z: Bool, acc: List<&2, U32>, +k: Nat) -> Maybe<&2, AmlStrL>:
2128  match n:
2129    case 0n:
2130      None{}
2131    case 1n+p:
2132      match xs:
2133        case Nil{}:
2134          None{}
2135        case Con{h, +t}:
2136          match z:
2137            case True{}:
2138              Some{AmlStrL{List.reverse(&2, U32, acc), Nat.add(k, 1n)}}
2139            case False{}:
2140              in.str.go(p, t, in.str.z(t), Con{h, acc}, Nat.add(k, 1n))