Linux Certif

Toute la documentation sur la certification Linux LPI

Builtins.Getting_Tag_From_Non_Union.3kaya

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.