1Builtins.Missing_Case(3kaya) Kaya module referenceBuiltins.Missing_Case(3kaya)
2
3
4

NAME

6       Builtins::Missing_Case - Unexpected constructor in case statement
7

SYNOPSIS

9       Builtins::Missing_Case(
10

DESCRIPTION

12       This  Exception is thrown when a constructor with no explicitly defined
13       behaviour was used in a case statement, and there was no default case.
14
15
16    data Example = A(Int a) | B(String b) | C(Float c);
17    Void string(Example e) {
18        case e of {
19            A(a) -> return String(a);
20            | B(b) -> return b;
21        }
22    } // if e = C(1.0) then a Missing_Case exception will be thrown.
23

AUTHORS

25       Kaya  standard  library  by  Edwin  Brady,  Chris  Morris  and   others
26       (kaya@kayalang.org). For further information see http://kayalang.org/
27

LICENSE

29       The  Kaya  standard  library  is free software; you can redistribute it
30       and/or modify it under the terms  of  the  GNU  Lesser  General  Public
31       License  (version  2.1  or  any later version) as published by the Free
32       Software Foundation.
33
34
35
36Kaya                             December 2010    Builtins.Missing_Case(3kaya)
Impressum