ForwardReference.users: def of bend-lint-rules@0.2.0.0 Import: import bend-lint-rules@0.2.0.0/language/forward_reference.bend as ForwardReference Lines 90-119 of bend-lint-rules@0.2.0.0/language/forward_reference.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/forward_reference.bend&start_line=90&end_line=119 import Base import bend-lint-api@0.2.0.0/linter/lint.bend as Lint import bend-lint-api@0.2.0.0/shared/lists.bend as Lists # The findings in the definitions among `nodes`, from `at`, onto `out`. An @unsafe definition may use any. def users( nodes: List<&2, Lint.Node>, +places: Map<&2, Maybe<&2, Place>>, +at: U32, out: List<&2, Lint.Finding> ) -> List<&2, Lint.Finding>: match nodes: case Nil{}: List.reverse(&2, Lint.Finding, out) case Con{Lint.Node{Lint.Definition{t, False{}}, +name, s, k, f}, rest}: users( rest, places, (at + 1: U32), Lists.onto( &2, Lint.Finding, Lint.visit( ~User, ~Lint.Finding, ~use, User{places, at, name}, [Lint.Node{Lint.Definition{t, False{}}, name, s, k, f}] ), out ) ) case Con{node, rest}: users(rest, places, (at + 1: U32), out) Uses (15): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=Map https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe 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-api@0.2.0.0/linter/lint.bend&name=Finding https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Node https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Syntax https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=visit https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=onto https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/forward_reference.bend&name=Place https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/forward_reference.bend&name=User https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/forward_reference.bend&name=use