match package:ghc-lib-parser

Does the key i match the prefix p (up to but not including bit m)?

Use with caseE

case e of { pat -> body where decs }

Allow binding only for any variable in the set. Variables may be bound to any type. Used when doing simple matching; e.g. can we find a substitution

S = [a :-> t1, b :-> t2] such that
S( Maybe (a, b->Int )  =   Maybe (Bool, Char -> Int)

Extract a suitable CtOrigin from a MatchGroup

The information necessary to report mismatched numbers of arguments in a match group.

Context for a mismatch in the number of arguments