Implements the translation from the MIR type representation to that of the CGIR.
Types
Context = object graph: ModuleGraph map: Table[TypeId, StringId] ## canonical type -> type name
- Context for type translation. Source Edit
Procs
proc initContext(g: ModuleGraph): Context {....raises: [], tags: [].}
- Creates a type translation context. Source Edit
proc typeToCgir(c; env; m; typ: TypeId): StringId {....raises: [Exception], tags: [RootEffect].}
- Translates the given MIR type to a CGIR type, adding it - if not already present - to the CGIR module, and returning its name. Source Edit