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

# Builtins.Missing\_Case(3kaya)

Unexpected constructor in case statement

## NAME

Builtins::Missing\_Case - Unexpected constructor in case statement

## SYNOPSIS

**Builtins::Missing\_Case(** **)**

## DESCRIPTION

This Exception is thrown when a constructor with no explicitly defined behaviour was used in a **case**  statement, and there was no **default**  case.

-

   data Example = A(Int a) \| B(String b) \| C(Float c);\
    Void string(Example e) {\
        case e of {\
            A(a) -\> return String(a);\
            \| B(b) -\> return b;\
        }\
    } // if e = C(1.0) then a Missing\_Case exception will be thrown.

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