1Builtins.Getting_Tag_From_Non_KUanyiaonm(o3dBkuualiyelat)rienfse.rGeentcteing_Tag_From_Non_Union(3kaya)
2
3
4
6 Builtins::Getting_Tag_From_Non_Union - Tried to do a constructor case
7 statement wrongly
8
10 Builtins::Getting_Tag_From_Non_Union(
11
13 This Exception is thrown when a case statement is used on something
14 other than an ADT, for example:
15
16
17 i = 5;
18 case i of {
19 A(a) -> putStrLn(a);
20 | B(b) -> putStrLn(b);
21 }
22
23 In the example, the compiler would catch the error - in practice this
24 error can occur when accessing an uninitialised value, or a value with
25 inconsistent type information due to foreign function calls.
26
28 Kaya standard library by Edwin Brady, Chris Morris and others
29 (kaya@kayalang.org). For further information see http://kayalang.org/
30
32 The Kaya standard library is free software; you can redistribute it
33 and/or modify it under the terms of the GNU Lesser General Public
34 License (version 2.1 or any later version) as published by the Free
35 Software Foundation.
36
37
38
39Kaya DeceBmubielrti2n0s1.0Getting_Tag_From_Non_Union(3kaya)