def fault_view

cli@0.2.0.0 · cli.bend:6060

import Base

6060def fault_view(view: View, +fault: ScanFault, c: Cmd, path: List<&2, String>,
6061    argv: List<&2, String>, w: Nat) -> List<&2, Segment>:
6062  match view:
6063    case View{+here, about, +items, +globals, root, stuck}:
6064      error_page(fault_message(fault, here, items),
6065        fault_tips(fault, c, path, argv, here, items, globals),
6066        usage_block(usage_elems(here, items, globals), w))