Builtins.Missing_Case(3kaya)
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.