string
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Modules, Name Resolution, Mutators
Dynamically introduce newName as a public name. This has the same effect as listing in the Names section of the current module, i.e., the module currently undergoing compilation. This facilitates code generation in some circumstances. This operation may only be invoked during compilation, i.e., as the result of parsing or executing a top-level statement.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | newName | string | The name that should be introduced. | |
Returns | ⊤ | Raises | ||
ambiguous-name exception | ||||
loading-is-over exception |