Implements type sanity checking for ASTs resulting from macros. Lots of room for improvement here.
proc annotateType(n: PNode; t: PType; conf: ConfigRef) {....raises: [Exception,
ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}-
Source
Edit