This module implements lifting for type-bound operations (=sink, =copy, =destroy, =deepCopy, =wasMoved, =dup).
Procs
proc createTypeBoundOps(g: ModuleGraph; c: PContext; orig: PType; info: TLineInfo; idgen: IdGenerator) {....raises: [OSError, Exception, KeyError, ValueError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit
proc cyclicType(g: ModuleGraph; t: PType): bool {....raises: [Exception, KeyError], tags: [RootEffect, ReadDirEffect], forbids: [].}
- Source Edit
proc genBuiltin(g: ModuleGraph; idgen: IdGenerator; magic: TMagic; name: string; i: PNode): PNode {....raises: [], tags: [], forbids: [].}
- Source Edit
proc produceDestructorForDiscriminator(g: ModuleGraph; typ: PType; field: PSym; info: TLineInfo; idgen: IdGenerator): PSym {....raises: [ Exception, KeyError, ValueError, OSError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit