Builtins.Missing_Case3kaya

Usage

Overview

This Exception is thrown when a constructor with no explicitly defined behaviour was used in a case statement, and there was no default case.

data Example = A(Int a) | B(String b) | C(Float c);
Void string(Example e) {
case e of {
A(a) -> return String(a);
| B(b) -> return b;
}
} // if e = C(1.0) then a Missing_Case exception will be thrown.