patterns

This module implements the pattern matching features for term rewriting macro support.

Imports

ast, types, semdata, sigmatch, idents, aliases, parampatterns, trees

Procs

proc sameTrees(a, b: PNode): bool {...}{.raises: [Exception], tags: [RootEffect].}

Source Edit

proc applyRule(c: PContext; s: PSym; n: PNode): PNode {...}{.
    raises: [Exception, ERecoverableError, ValueError, IOError],
    tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

returns a tree to semcheck if the rule triggered; nil otherwise Source Edit