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, passes, semdata, semtypinst, sigmatch, transf, vmdef, vm, idgen, aliases, cgmeth, lambdalifting, evaltempl, patterns, parampatterns, sempass2, linter, semmacrosanity, lowerings, plugins/active, rod, lineinfos, int128, isolation_check, typeallowed, modulegraphs, spawn

Consts

tyUserDefinedGenerics = {tyGenericInst, tyGenericInvocation, tyUserTypeClassInst}: Source Edit
tyMagicGenerics = {tySet, tySequence, tyArray, tyOpenArray}: Source Edit
tyGenericLike = {tyGenericInvocation, tyGenericInst, tyArray, tySet, tySequence, tyOpenArray, tyUserTypeClassInst..tyCompositeTypeClass}: Source Edit
semPass = (myOpen, myProcess, myClose, true): Source Edit

Procs

proc commonType(x, y: PType): PType {...}{.raises: [Exception], tags: [RootEffect].}: Source Edit
proc commonType(x: PType; y: PNode): PType {...}{.raises: [Exception], tags: [RootEffect].}: Source Edit
proc newSymG(kind: TSymKind; n: PNode; c: PContext): PSym {...}{. raises: [Exception, ValueError, IOError, ERecoverableError], tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}: Source Edit
proc pushProcCon(c: PContext; owner: PSym) {...}{.raises: [], tags: [].}: Source Edit
proc notFoundError(c: PContext; n: PNode; errors: CandidateErrors) {...}{. raises: [Exception, ValueError, IOError, ERecoverableError], tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}: Source Edit
proc instGenericConvertersArg(c: PContext; a: PNode; x: TCandidate) {...}{.raises: [ Exception, ValueError, IOError, ERecoverableError, OSError, KeyError, EOFError], tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, ReadDirEffect, WriteDirEffect, TimeEffect].}: Source Edit
proc instGenericConvertersSons(c: PContext; n: PNode; x: TCandidate) {...}{.raises: [ Exception, ValueError, IOError, ERecoverableError, OSError, KeyError, EOFError], tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, ReadDirEffect, WriteDirEffect, TimeEffect].}: Source Edit

Templates

template commonTypeBegin(): PType: Source Edit