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