14.5.55  Variables_And_Constructors

The compiler Variables_And_Constructors api defines access the deep syntax tree representation of those entities.

The Variables_And_Constructors api is implemented by the variables_and_constructors package.

The Variables_And_Constructors api source code is in src/lib/compiler/front/typer-stuff/deep-syntax/variables-and-constructors.api.

See also: Deep_Syntax.

The above information is manually maintained and may contain errors.

api {   Variable
        = ERROR_VARIABLE
        |
        OVERLOADED_VARIABLE
                {alternatives:Ref(List({indicator:type_declaration_types::Typoid, variant:Variable} ) ),
                name:symbol::Symbol, typescheme:type_declaration_types::Typescheme}
        |
        PLAIN_VARIABLE
                {inlining_data:inlining_data::Inlining_Data, path:symbol_path::Symbol_Path,
                varhome:varhome::Varhome, vartypoid_ref:Ref(type_declaration_types::Typoid )};
    Variable_Or_Constructor  = CONSTRUCTOR type_declaration_types::Valcon | VARIABLE Variable;
    make_ordinary_variable : (symbol::Symbol , varhome::Varhome) -> Variable;
    bogus_valcon : type_declaration_types::Valcon;
    bogus_exception : type_declaration_types::Valcon;};