14.5.6  Compiler_Mapstack_Set

The compiler Compiler_Mapstack_Set api defines the toplevel symbol table functionality used by Compiler_State.

The Compiler_Mapstack_Set api is implemented by the compiler_mapstack_set package.

The Compiler_Mapstack_Set api source code is in src/lib/compiler/toplevel/compiler-state/compiler-mapstack-set.api.

See also: Compiler_State.

See also: Inlining_Mapstack.

See also: Linking_Mapstack.

See also: Symbolmapstack. The above information is manually maintained and may contain errors.

api {
    Linking_Mapstack;
    Inlining_Mapstack;
    Compiler_Mapstack_Set;
    Symbol;
    null_compiler_mapstack_set : Compiler_Mapstack_Set;
    symbolmapstack_part : Compiler_Mapstack_Set -> symbolmapstack::Symbolmapstack;
    linking_part : Compiler_Mapstack_Set -> Linking_Mapstack;
    inlining_part : Compiler_Mapstack_Set -> Inlining_Mapstack;
        make_compiler_mapstack_set :
                {inlining_mapstack:Inlining_Mapstack, linking_mapstack:Linking_Mapstack,
                symbolmapstack:symbolmapstack::Symbolmapstack}
            ->
            Compiler_Mapstack_Set;
        layer_compiler_mapstack_sets :
        (Compiler_Mapstack_Set , Compiler_Mapstack_Set) -> Compiler_Mapstack_Set;
        concatenate_compiler_mapstack_sets :
        (Compiler_Mapstack_Set , Compiler_Mapstack_Set) -> Compiler_Mapstack_Set;
        layer_symbolmapstack :
        (symbolmapstack::Symbolmapstack , symbolmapstack::Symbolmapstack) -> symbolmapstack::Symbolmapstack;
    layer_inlining_mapstack : (Inlining_Mapstack , Inlining_Mapstack) -> Inlining_Mapstack;
        filter_compiler_mapstack_set :
        (Compiler_Mapstack_Set , List(symbol::Symbol )) -> Compiler_Mapstack_Set;
    consolidate_compiler_mapstack_set : Compiler_Mapstack_Set -> Compiler_Mapstack_Set;
    consolidate_symbolmapstack : symbolmapstack::Symbolmapstack -> symbolmapstack::Symbolmapstack;
    consolidate_inlining_mapstack : Inlining_Mapstack -> Inlining_Mapstack;
    trim_compiler_mapstack_set : Compiler_Mapstack_Set -> Compiler_Mapstack_Set;
    describe : symbolmapstack::Symbolmapstack -> symbol::Symbol -> Void;
    base_types_and_ops_symbolmapstack : symbolmapstack::Symbolmapstack;};