---
name: "Builtins.Getting_Tag_From_Non_Union"
section: "3kaya"
platform: "linux"
package: "kaya"
version: "0.4.4-6.2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/Builtins.Getting_Tag_From_Non_Union"
---

# Builtins.Getting\_Tag\_From\_Non\_Union(3kaya)

Tried to do a constructor case statement wrongly

## 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.