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

# Builtins.Wrong\_Constructor(3kaya)

Tried to get a field from the wrong constructor

## NAME

Builtins::Wrong\_Constructor - Tried to get a field from the wrong constructor

## SYNOPSIS

**Builtins::Wrong\_Constructor(** **)**

## DESCRIPTION

This exception is thrown when direct projection of a field is used on a value constructed with a different constructor. It can always be avoided by the use of **case**  statements.

-

   data Example = A(Int a) \| B(String b);\
    Void main() {\
        val = A(3);\
        putStrLn(val.b);\
    }

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