compiler/sem

Source   Edit  

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.

Consts

semPass = (myOpen, myProcess, myClose, true)
Source   Edit  
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 commonType(c: PContext; x, y: PType): PType {.
    ...raises: [KeyError, Exception], tags: [ReadDirEffect, RootEffect],
    forbids: [].}
Source   Edit  
proc commonType(c: PContext; x: PType; y: PNode): PType {.
    ...raises: [KeyError, Exception], tags: [ReadDirEffect, RootEffect],
    forbids: [].}
Source   Edit  
proc instGenericConvertersArg(c: PContext; a: PNode; x: TCandidate) {....raises: [
    Exception, ValueError, KeyError, IOError, ERecoverableError, OSError,
    EOFError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect,
                      ReadEnvEffect, WriteDirEffect, TimeEffect], forbids: [].}
Source   Edit  
proc instGenericConvertersSons(c: PContext; n: PNode; x: TCandidate) {....raises: [
    Exception, ValueError, KeyError, IOError, ERecoverableError, OSError,
    EOFError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect,
                      ReadEnvEffect, WriteDirEffect, TimeEffect], forbids: [].}
Source   Edit  
proc isRecursiveType(t: PType): bool {....raises: [], tags: [], forbids: [].}
Source   Edit  
proc newSymG(kind: TSymKind; n: PNode; c: PContext): PSym {.
    ...raises: [Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}
Source   Edit  
proc notFoundError(c: PContext; n: PNode; errors: CandidateErrors) {.
    ...raises: [Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}
Source   Edit  
proc pushProcCon(c: PContext; owner: PSym) {....raises: [], tags: [], forbids: [].}
Source   Edit  

Templates

template commonTypeBegin(): PType
Source   Edit