def check.place
bolt@1.27.0.0 · src/rules/style/wrap.bend:886
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
886
887
888def check.place(
889 mm: Maybe<&2, Span>,
890 empty: Maybe<&2, Span>,
891 shut: Maybe<&2, Span>,
892 loose: Maybe<&2, Span>,
893 +base: U32,
894 +path: String,
895 +more: List<&2, F.Finding>
896) -> List<&2, F.Finding>:
897 match mm:
898 case None{}:
899 check.place_empty(empty, shut, loose, base, path, more)
900 case Some{Span{+line, _end, +col}}:
901 F.Finding{path, (base + line : U32), col, 0, "wrap",
902 "This wrapped def header does not have one parameter per line; put each parameter on its own line."}
903 <> more