Module melodeon::typesys

Structs

CgParam

TypeParam

Enums

ConstExpr

Represents a rather surface-level const-expression. Polynomial-based canonicalization is not yet here.

Type

A Melodeon type. Type is generic over two parameters, TVar and CVar, which represent the type for type-variables as well as the type for constant-generic variables. These are generic types in order to statically guarantee the status of free variables. For example, one may start with Type<RawTVar, RawCVar>, turn that into Type<MangledTVar, MangledCVar>, and resolve that into Type.

Traits

Variable

Functions

monomorphize

Monomorphizes a set of function definitions and a “preliminary” body into a fully degenericized version.

typecheck_expr

Typechecks a single expression, returning a single typed ast node.

typecheck_program

Typechecks a whole program, resolving free variables fully.