Kaya 0.5.3 reference for Builtins::Missing_Case

Builtins::Missing_Case()

Usage

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.