def defs.push

bolt@1.27.0.0 · src/rules/calls.bend:17

import bolt@1.27.0.0/src/rules/calls.bend as Calls

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

17# a def with a name joins the others; one without (half-written) does not
18def defs.push(mm: Maybe<&2, String>, sig: Tree.Node, body: Tree.Node, acc: List<&2, Def>) -> List<&2, Def>:
19  match mm:
20    case None{}:
21      acc
22    case Some{name}:
23      Def{name, sig, body} <> acc

Uses (5)

Used by (1)

bolt@1.27.0.0/src/rules/calls:defs