λ

2.1: Exhaustivity checking

Pattern matching provides exhaustivity checking for data type cases. If you miss a case, the compiler will emit a warning. Compiler options may elevate this to an error.

(* examples/exhaustive.sml *)