Builtins.Missing_Case.3kaya

Langue: en

Autres versions - même langue

Version: May 2010 (ubuntu - 24/10/10)

Section: 3 (Bibliothèques de fonctions)

NAME

Builtins::Missing_Case - Unexpected constructor in case statement

SYNOPSIS

Builtins::Missing_Case( )

DESCRIPTION

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.

AUTHORS

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

LICENSE

The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.