NAME¶
Builtins::Wrong_Constructor - Tried to get a field from the wrong constructor
SYNOPSIS¶
Builtins::Wrong_Constructor( )
DESCRIPTION¶
This exception is thrown when direct projection of a field is used on a value
constructed with a different constructor. It can always be avoided by the use
of
case statements.
-
-
data Example = A(Int a) | B(String b);
Void main() {
val = A(3);
putStrLn(val.b);
}
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.