Implements the type IR for the MIR phase (not yet), plus the TypeEnv, which stores the data for all types.

All types are addressed via TypeId, with the built-in types using static IDs.

Imports

Types

TypeEnv {.requiresInit.} = object map: TypeTable[TypeId] ## maps the hash of a type. Since the hash is not guaranteed to be ## unique, hash collisions are possible! types: Store[TypeId, PType] sizeType: TypeId ## the target-dependent integer type to use for size values usizeType: TypeId ## the target-dependent unsigned integer type to use for size values: Stores the data associated with types. Has no valid default value, and must be explicitly initialized first. Source Edit

func `[]`(env: TypeEnv; id: TypeId): lent PType {.inline, ...raises: [], tags: [].}: Source Edit
proc add(env: var TypeEnv; t: PType): TypeId {....raises: [Exception], tags: [RootEffect].}: If not registered yet, adds t to env and returns the ID to later look it up with. Basic structural type unification is performed. Source Edit
proc initTypeEnv(graph: ModuleGraph): TypeEnv {. ...raises: [KeyError, Exception, ERecoverableError], tags: [ReadDirEffect, RootEffect].}: Returns a fully initialized type environment instance. Source Edit
func sizeType(env: TypeEnv): TypeId {.inline, ...raises: [], tags: [].}: Returns the type to use for values representing some size. This is a signed integer type of target-dependent bit-width. Source Edit
func usizeType(env: TypeEnv): TypeId {.inline, ...raises: [], tags: [].}: Returns the type to use for values representing some size. This is an unsigned integer type of target-dependent bit-width. Source Edit