Show.AcpiShow.error: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/show.bend as Show
Lines 39-92 of bend-osdev-acpi@0.1.1.0/show.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&start_line=39&end_line=92

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E

def AcpiShow.error(e: E.AcpiError) -> String:
  match e:
    case E.AcpiTooShort{n, g}:
      "TooShort " ++ sh.n(n) ++ " " ++ sh.n(g)
    case E.AcpiBadSignature{s}:
      "BadSignature " ++ sh.x(s)
    case E.AcpiBadLength{l}:
      "BadLength " ++ sh.u(l)
    case E.AcpiBadChecksum{s}:
      "BadChecksum " ++ sh.u(s)
    case E.AcpiRsdpBadChecksum{s}:
      "RsdpBadChecksum " ++ sh.u(s)
    case E.AcpiRsdpBadExtChecksum{s}:
      "RsdpBadExtChecksum " ++ sh.u(s)
    case E.AcpiBadRevision{r}:
      "BadRevision " ++ sh.u(r)
    case E.AcpiBadEntry{o, k}:
      "BadEntry " ++ sh.n(o) ++ " " ++ sh.u(k)
    case E.AcpiBadSize{n}:
      "BadSize " ++ sh.n(n)
    case E.AcpiNotMapped{a}:
      "NotMapped " ++ sh.w(a)
    case E.AcpiTableMissing{s}:
      "TableMissing " ++ sh.x(s)
    case E.AcpiAmlTruncated{}:
      "AmlTruncated"
    case E.AcpiAmlBadOpcode{c}:
      "AmlBadOpcode " ++ sh.u(c)
    case E.AcpiAmlBadPkgLength{}:
      "AmlBadPkgLength"
    case E.AcpiAmlBadName{}:
      "AmlBadName"
    case E.AcpiAmlUndefined{p}:
      "AmlUndefined " ++ p
    case E.AcpiAmlDuplicate{p}:
      "AmlDuplicate " ++ p
    case E.AcpiAmlBadOperand{c}:
      "AmlBadOperand " ++ sh.u(c)
    case E.AcpiAmlBadType{s}:
      "AmlBadType"
    case E.AcpiAmlRange{}:
      "AmlRange"
    case E.AcpiAmlDivZero{}:
      "AmlDivZero"
    case E.AcpiAmlBadControl{}:
      "AmlBadControl"
    case E.AcpiAmlFatal{t, c, a}:
      "AmlFatal " ++ sh.u(t) ++ " " ++ sh.u(c) ++ " " ++ sh.w(a)
    case E.AcpiAmlUnsupported{s}:
      "AmlUnsupported " ++ s
    case E.AcpiAmlStepLimit{}:
      "AmlStepLimit"
    case E.AcpiAmlHost{c}:
      "AmlHost " ++ sh.u(c)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/error.bend&name=AcpiError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.n
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.u
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.w
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.x