Format.lex.go: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/layout/format.bend as Format
Lines 796-818 of bend-lint-rules@0.2.0.0/layout/format.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&start_line=796&end_line=818

import Base

# Each step reads at least one character, so the text's length is fuel.
def lex.go(
  fuel: Nat,
  sc: Scan,
  from: String,
  +at: U32,
  +col: U32,
  acc: List<&2, Token>
) -> List<&2, Token>:
  match fuel sc:
    case 1n+k Tok{text, +len, +rest, last, +lex, sym, name, +tail}:
      lex.go(
        k,
        lex.token(rest, rest, last),
        rest,
        (at + len: U32),
        next_col(lex, tail, col, len),
        Con{Token{text, at, (at + len: U32), col, lex, sym, name, tail, from}, acc}
      )
    case 1n+k Blank{+rest, last, +len}:
      lex.go(k, lex.token(rest, rest, last), rest, (at + len: U32), (col + len: U32), acc)
    case _ _:
      List.reverse(&2, Token, acc)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=Scan
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=Token
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=lex.token
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=next_col