Error codes · Types

PW0608

pattern_constructor

The program must hold to this: a constructor must name a case of the type it builds or matches.

The decisions behind it

0059, 0197

Reading the diagnostic

pw check prints the code in brackets, [PW0608], with the sentence above and the place in your program. Errors and diagnostics explains how to read one, and every code is listed with its rule.