NAME¶
Builtins::Getting_Tag_From_Non_Union - Tried to do a constructor case statement
wrongly
SYNOPSIS¶
Builtins::Getting_Tag_From_Non_Union( )
DESCRIPTION¶
This Exception is thrown when a
case statement is used on something
other than an ADT, for example:
-
-
i = 5;
case i of {
A(a) -> putStrLn(a);
| B(b) -> putStrLn(b);
}
In the example, the compiler would catch the error - in practice this error can
occur when accessing an uninitialised value, or a value with inconsistent type
information due to foreign function calls.
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.