class

DoisC::Environment::Global

Global semantic environment for predeclared types, builtin symbols, and user-defined top-level type/function/procedure declarations.

Constructors

new

builtin?(name : String) : Bool

Returns true if the given name belongs to the compiler-provided prelude.

builtins

define_function(name : String, defn : Types::FunctionDefinition)

define_procedure(name : String, defn : Types::FunctionDefinition)

Procedures are currently stored in the same global function table. Their semantic distinction is preserved elsewhere in the compiler.

define_type(ref : Types::NominalTypeReference, defn : Types::TypeDefinition)

func_defs

function_definition(name : String)

get_or_create_type_ref(name : String)

register_type(name : String)

Register a user-defined nominal type name before its full definition is resolved. This is distinct from builtin/prelude type registration.

type_definition(ref : Types::NominalTypeReference)

type_reference(name : String) : Types::TypeReference | Nil