def fish_dest_arms

cli@0.2.0.0 · cli.bend:7039

import Base

7039# The arms of _dest for subcommands entries of the path at words, numbered
7040# pre.
7041def fish_dest_arms(entries: List<&2, Entry>, +pre: String,
7042    +words: List<&2, String>, +found: List<&2, Stop>) -> List<&2, String>:
7043  match entries:
7044    case Nil{}: Nil{}
7045    case Entry{name, names, about} <> tail:
7046      String.append("        case ", String.join(fish_pats(names, pre), " ")) <>
7047        String.append("            echo ", Nat.show(stop_number(found,
7048          List.append(&2, String, words, [name]), None{}))) <>
7049        fish_dest_arms(tail, pre, words, found)