Rechercher une page de manuel
Builtins.Wrong_Constructor.3kaya
Langue: en
Version: May 2010 (ubuntu - 24/10/10)
Section: 3 (Bibliothèques de fonctions)
NAME
Builtins::Wrong_Constructor - Tried to get a field from the wrong constructorSYNOPSIS
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.Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre