Source
Edit
New "strict funcs" checking. Much simpler and hopefully easier to teach than the old but more advanced algorithm that can/could be found in varpartitions.nim.
proc isDangerousLocation(n: PNode; owner: PSym): bool {.
...raises: [ValueError, OSError, KeyError, IOError, Exception], tags: [
RootEffect, WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect],
forbids: [].}-
Source
Edit