Kaya 0.4.4 reference for Builtins::Missing_Case

List of functions and data types in Builtins

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.
kaya@kayalang.org | Last modified 29 November 2011 | Supported by Durham CompSoc | Powered by Kaya