This module implements semantic checking for calls.this module does the semantic checking of statementsThis module does the semantic transformation of the fields* iterators.This module implements Nim's object construction rules.
Imports
-
ast, options, astalgo, trees, wordrecg, ropes, msgs, idents, renderer, types, platform, magicsys, nversion, nimsets, semfold, modulepaths, importer, procfind, lookups, pragmas, semdata, semtypinst, sigmatch, transf, vmdef, vm, aliases, cgmeth, lambdalifting, evaltempl, patterns, parampatterns, sempass2, linter, semmacrosanity, lowerings, lineinfos, int128, isolation_check, typeallowed, modulegraphs, enumtostr, concepts, astmsgs, extccomp, layeredtable, vtables, icprof, spawn
Types
CyclePhase = enum cpImports, ## the module's top-level imports cpTypesLeft, ## registers the names of all top-level types cpTypesRight, ## the type definitions themselves cpTypesFinal, ## resolves the remaining forward type references cpUnnamedImports, ## converters, term rewriting patterns and pure enums of ## the other modules: they were imported before they ## were declared cpDecls ## the leading declarations of the module; their routine ## bodies are deferred
- The phases a module of an import m {.cyclic.} group runs through before its remaining statements are checked by semWithPContext. Every phase runs for all modules of the group before the next phase starts, so the modules see each other's declarations regardless of their order. Source Edit
Consts
tyGenericLike = {tyGenericInvocation, tyGenericInst, tyArray, tySet, tySequence, tyOpenArray, tyUserTypeClassInst..tyCompositeTypeClass}
- Source Edit
tyMagicGenerics = {tySet, tySequence, tyArray, tyOpenArray}
- Source Edit
tyUserDefinedGenerics = {tyGenericInst, tyGenericInvocation, tyUserTypeClassInst}
- Source Edit
Procs
proc closePContext(graph: ModuleGraph; c: PContext; n: PNode): PNode {....raises: [ Exception, ValueError, OSError, KeyError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, TimeEffect], forbids: [].}
- Source Edit
proc demandCycleBody(group: seq[PContext]; prc: PSym) {....raises: [Exception, ValueError, OSError, KeyError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, TimeEffect], forbids: [].}
- Runs the deferred body of prc if it belongs to a module of the group. A body that is already running is left alone: that is a recursion via the modules of the group, which effect tracking treats pessimistically. Source Edit
proc drainBeforeModulePass(c: PContext) {....raises: [Exception, ValueError, OSError, KeyError, IOError, ERecoverableError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, TimeEffect], forbids: [].}
-
About to compile another module from inside this one's header pass.
That module may reference anything declared here so far — system imports std/syncio from its own last statements, and syncio's routines call system's — and it will be compiled to completion before this statement returns. So this module's units have to be complete first, or the importee sees them as "not yet processed" and infers RootEffect for every call into them. Draining here keeps the invariant an importer already relies on today: everything declared above an import is fully semmed when it runs.
Imports sit at the top of a module, so in practice this drains nothing.
Source Edit proc drainBodyTasks(c: PContext) {....raises: [Exception, ValueError, OSError, KeyError, IOError, ERecoverableError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, TimeEffect], forbids: [].}
- The body pass. In key order, which for stage 1 is simply front to back: the header pass appended in source order and the on-demand path only ever marks entries done early, never reorders them. Source Edit
proc flushBodiesBeforeTopLevelStmt(c: PContext; stmt: PNode) {....raises: [ Exception, ValueError, OSError, KeyError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, TimeEffect], forbids: [].}
-
Units live only until the next top-level statement that could OBSERVE one.
Deferring a body all the way to the end of the module is what §2.1 asks for, but it puts a pending unit in reach of the VM: a top-level const x = f() makes vmgen compile f, vmgen goes through transformBody, and answering the demand there means running sem — and a nested VM session — while one is already executing on the graph's single PCtx. That is §4.6 step 2, "the hardest single item in this plan", and the doc allows it to be deferred behind a restriction until it is done. This is that restriction, and it is a cheap one: modules are long runs of routine definitions, so a run defers as a batch and only a const, static:, var initialiser or plain expression ends one.
Flushing HERE and not at the VM's own entry matters: this is a statement boundary at module scope, where the only live state is the module's, and running a unit is safe. vm.setupGlobalCtx is reached from inside generic instantiations and template expansions, where it is not.
Source Edit proc instGenericConvertersArg(c: PContext; a: PNode; x: TCandidate) {....raises: [ KeyError, OSError, Exception, ValueError, IOError, ERecoverableError, EOFError], tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect, WriteIOEffect, WriteDirEffect, TimeEffect], forbids: [].}
- Source Edit
proc instGenericConvertersSons(c: PContext; n: PNode; x: TCandidate) {....raises: [ KeyError, OSError, Exception, ValueError, IOError, ERecoverableError, EOFError], tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect, WriteIOEffect, WriteDirEffect, TimeEffect], forbids: [].}
- Source Edit
proc isRecursiveType(t: PType): bool {....raises: [KeyError, OSError, Exception], tags: [ ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect], forbids: [].}
- Source Edit
proc markConvertersUsed(c: PContext; n: PNode) {....raises: [KeyError, OSError, Exception, ValueError, IOError, ERecoverableError], tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, RootEffect, WriteIOEffect], forbids: [].}
- Source Edit
proc notFoundError(c: PContext; n: PNode; errors: CandidateErrors) {....raises: [ Exception, ValueError, OSError, KeyError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit
proc preparePContext(graph: ModuleGraph; module: PSym; idgen: IdGenerator): PContext {....raises: [ KeyError, Exception, ValueError, OSError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit
proc pushProcCon(c: PContext; owner: PSym) {....raises: [], tags: [], forbids: [].}
- Source Edit
proc semCyclePhase(c: PContext; n: PNode; phase: CyclePhase) {....raises: [OSError, Exception, ValueError, KeyError, IOError, ERecoverableError, EOFError, ESuggestDone, OSError, Exception, ValueError, KeyError, IOError, ESuggestDone, EOFError, ERecoverableError], tags: [ReadEnvEffect, ReadIOEffect, RootEffect, ReadDirEffect, WriteIOEffect, WriteDirEffect, TimeEffect, ExecIOEffect], forbids: [].}
- Source Edit
proc semWithPContext(c: PContext; n: PNode): PNode {....raises: [OSError, Exception, ValueError, KeyError, IOError, ERecoverableError, EOFError, ESuggestDone, OSError, Exception, ValueError, KeyError, IOError, EOFError, ERecoverableError], tags: [ReadEnvEffect, ReadIOEffect, RootEffect, ReadDirEffect, WriteIOEffect, WriteDirEffect, TimeEffect, ExecIOEffect], forbids: [].}
- Source Edit
Templates
template commonTypeBegin(): PType
- Source Edit