def tables
bend-osdev-acpi@0.1.1.0 · check.bend:78
import bend-osdev-acpi@0.1.1.0/check.bend as Check
import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/registry.bend as R
import bend-osdev-acpi@0.1.1.0/acpi.bend as A
78def tables(r: Result<&2, &2, E.AcpiError, A.AcpiTableSet<R.AcpiNoExt>>) -> String:
79 match r:
80 case Done{A.AcpiTableSet{rp, root, ts, Some{Done{f}}}}:
81 String.join(loadeds(ts), ", ") ++ "; FACS ok"
82 case Done{A.AcpiTableSet{rp, root, ts, f}}:
83 String.join(loadeds(ts), ", ") ++ "; no FACS"
84 case Fail{e}:
85 err(e)