Expand description
Type resolution.
See resolve for an example that resolves a ParsedProgram into a ResolvedProgram, ready for compilation by compile.
Modules
Resolved information to be used by the bytecode generator.
Structs
An error reported by the resolver (e.g. unknown/mismatching types).
Parsed program AST with all types, bindings and other language structures resolved.
Enums
Represents the various possible resolver error-kinds.
Functions
Resolves types within the given program AST structure.