~/jendhub

def check.place_empty

bolt@1.27.0.0 · src/rules/style/wrap.bend:869

import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
import Base
import bolt@1.27.0.0/src/finding.bend as F

869# an empty parameter list across lines, as a finding, else a misplaced `)`
870def check.place_empty(
871  mm: Maybe<&2, Span>,
872  shut: Maybe<&2, Span>,
873  loose: Maybe<&2, Span>,
874  +base: U32,
875  +path: String,
876  +more: List<&2, F.Finding>
877) -> List<&2, F.Finding>:
878  match mm:
879    case None{}:
880      check.place_shut(shut, loose, base, path, more)
881    case Some{Span{+line, _end, +col}}:
882      F.Finding{path, (base + line : U32), col, 0, "wrap",
883        "This def header has no parameters but spans several lines; put it on one line."}
884        <> more

Uses (8)

Used by (1)