.\" This man page is automatically generated using
.\" kayadoc2man from the Kaya development tools and the -xmldocs compile 
.\" option. Editing it directly is not encouraged.
.\" It is under the same license as the source .k file that it was
.\" generated from.
.TH "Builtins.Getting_Tag_From_Non_Union" "3kaya" "August 2014" "Kaya" "Kaya module reference"
.SH "NAME"
Builtins::Getting_Tag_From_Non_Union \- Tried to do a constructor case statement wrongly
.SH "SYNOPSIS"
.B Builtins::Getting_Tag_From_Non_Union(
\fI\fP
.B )
.SH "DESCRIPTION"
.PP
This Exception is thrown when a
\fBcase \fP
statement is used on something other than an ADT, for example:
.IP "" -4
 i = 5;
 case i of {
     A(a) -> putStrLn(a);
     | B(b) -> putStrLn(b);
 }
.PP
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.
.SH "AUTHORS"
Kaya standard library by Edwin Brady, Chris Morris and others (kaya@kayalang.org). For further information see http://kayalang.org/
.SH 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.