14.5.54  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 
      = ERRORVAR
      | ORDINARY_VARIABLE {inlining_info:inlining_information::Inlining_Information, 
                           path:symbol_path::Symbol_Path, 
                           var_type:Ref(types::Type ),  varhome:varhome::Varhome}
      | OVERLOADED_IDENTIFIER {alternatives:Ref(List({indicator:types::Type,  variant:Variable} )
                                              ),  name:symbol::Symbol, 
                               type_scheme:types::Type_Scheme};
    Variable_Or_Constructor 
      = CONSTRUCTOR types::Valcon | VARIABLE Variable;
    make_ordinary_variable : (symbol::Symbol , varhome::Varhome) -> Variable;
    bogus_valcon : types::Valcon;
    bogus_exception : types::Valcon;
};