# compiler/sem

Dark Mode

- Index

Search:
Group by:
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.

# 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, aliases, cgmeth, lambdalifting, evaltempl, patterns, parampatterns, sempass2, linter, semmacrosanity, lowerings, plugins/active, lineinfos, int128, isolation_check, typeallowed, modulegraphs, enumtostr, concepts, astmsgs, spawn

# 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: [Exception],
        tags: [RootEffect].}

  Source Edit

    proc commonType(c: PContext; x: PType; y: PNode): PType {....raises: [Exception],
        tags: [RootEffect].}

  Source Edit

    proc instGenericConvertersArg(c: PContext; a: PNode; x: TCandidate) {....raises: [
        Exception, ValueError, KeyError, OSError, IOError, ERecoverableError,
        EOFError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect,
                          ReadEnvEffect, WriteDirEffect, TimeEffect].}

  Source Edit

    proc instGenericConvertersSons(c: PContext; n: PNode; x: TCandidate) {....raises: [
        Exception, ValueError, KeyError, OSError, IOError, ERecoverableError,
        EOFError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect,
                          ReadEnvEffect, WriteDirEffect, TimeEffect].}

  Source Edit

    proc newSymG(kind: TSymKind; n: PNode; c: PContext): PSym {....raises: [Exception,
        ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
        RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

  Source Edit

    proc notFoundError(c: PContext; n: PNode; errors: CandidateErrors) {....raises: [
        Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
        RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

  Source Edit

    proc pushProcCon(c: PContext; owner: PSym) {....raises: [], tags: [].}

  Source Edit

# Templates

    template commonTypeBegin(): PType

  Source Edit