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: [KeyError, OSError, IOError, Exception, ValueError],
tags: [RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect], forbids: [].}-
Source
Edit