isolation_check

Search:
Group by:
Source   Edit  

Implementation of the check that recover needs, see https://github.com/nim-lang/RFCs/issues/244 for more details.

Procs

proc canAlias(arg, ret: PType): bool {....raises: [Exception, OSError, KeyError,
    ValueError, IOError, ERecoverableError], tags: [RootEffect, WriteIOEffect,
    ReadEnvEffect, ReadIOEffect, ReadDirEffect], forbids: [].}
Source   Edit  
proc checkIsolate(n: PNode): bool {....raises: [Exception, OSError, KeyError,
    ValueError, IOError, ERecoverableError], tags: [RootEffect, WriteIOEffect,
    ReadEnvEffect, ReadIOEffect, ReadDirEffect], forbids: [].}
Source   Edit