mooncakes.io

emit

marianoguerra/wax/emit/wasm does not have a README file

LowerError

pub suberror LowerError {
  NotLowered(String, @marianoguerra/wax/basic.Location
Location)
  Unresolved(String, @marianoguerra/wax/basic.Location
Location)
  Unemittable(String, @marianoguerra/wax/basic.Location
Location)
  AmbiguousBinding(String, @marianoguerra/wax/basic.Location
Location)
}

impl Show for LowerError

fn output(self : LowerError, logger : &Logger) -> Unit

source

A one-line description, for the CLI's report.

The location is named as file:line:col rather than rendered as a caret diagram: this is a gap in the port, not a fault in the user's module, and the two should not look alike.

Indices

source

type Indices

Every index space of one module.

Indices::new

source

fn Indices::new() -> Indices

Lowering

source

type Lowering

What the lowering needs to know while walking one module.

Lowering::instr

source

fn Lowering::instr(self : Lowering, out : Array[@marianoguerra/wax/wasm/bin.Instruction
Instruction], i : @marianoguerra/wax/ast.Instr
Instr[(Array[@marianoguerra/wax/check/infer.Cell
Cell[@marianoguerra/wax/check/infer.InferredType
InferredType]], @marianoguerra/wax/basic.Location
Location)]) -> Unit raise LowerError

Lower one instruction, appending to out.

Space

source

type Space

A name-to-index map for one index space.

A name may be declared MORE THAN ONCE -- under two mutually exclusive conditions, where only one of them is ever really there. Each declaration takes its own slot, because that is what the module holds when both branches are lowered side by side for the text form, and each records where it was written so a reference can be answered from the site that asks.

Space::get

source

fn Space::get(self : Space, name : String) -> Int?

The index a name was given, or None if it never was.

The FIRST declaration, for a caller with no site to resolve against.

Space::length

source

fn Space::length(self : Space) -> Int

How many entries this space holds.

Space::new

source

fn Space::new() -> Space

Space::resolve

source

fn Space::resolve(self : Space, name : String, at : Array[(Int, Bool)], guards : (@marianoguerra/wax/basic.Location
Location) -> Array[(Int, Bool)]) -> Int?

The declaration of name that a reference at at can see.

Conditional branches make one name several declarations, and which one a reference means is decided by where the reference stands: a declaration is visible from a site inside it, so the one whose guards are the longest prefix of the site's is the one meant. A declaration under no condition is visible everywhere, which is the prefix of length zero.

lower_module

source

fn lower_module(ctx : @marianoguerra/wax/check/env.ModuleContext
ModuleContext, store : @marianoguerra/wax/check/store.TypeStore
TypeStore, source : Array[@marianoguerra/wax/basic.Annotated
Annotated[@marianoguerra/wax/ast.ModuleField
ModuleField[@marianoguerra/wax/basic.Location
Location], @marianoguerra/wax/basic.Location
Location]], typed : Array[@marianoguerra/wax/basic.Annotated
Annotated[@marianoguerra/wax/ast.ModuleField
ModuleField[(Array[@marianoguerra/wax/check/infer.Cell
Cell[@marianoguerra/wax/check/infer.InferredType
InferredType]], @marianoguerra/wax/basic.Location
Location)], @marianoguerra/wax/basic.Location
Location]], keep_conditionals? : Bool) -> @marianoguerra/wax/wasm/bin.Module
Module raise LowerError