def Pairing.close

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:646

import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
import Base

646def Pairing.close(begin: Maybe<&2, Directive>, end: Directive, p: Pairing) -> Pairing:
647  match begin end p:
648    case Some{
649      Directive{a, s, r, sev, c, i}
650    } Directive{ea, es, er, esev, Comment{b, e, +line, t, body}, ei} Pairing{open, closed, wrong}:
651      Pairing.closing(
652        Severity.is_eq(sev, esev),
653        i,
654        line,
655        er,
656        Comment{b, e, line, t, body},
657        Pairing{open, closed, wrong}
658      )
659    case None{} Directive{ea, es, er, esev, ec, ei} Pairing{open, closed, wrong}:
660      Pairing{open, closed, Wrong{ec, "This end closes no begin of " ++ er ++ "."} <> wrong}

Uses (9)

Used by (1)