diff options
Diffstat (limited to 'appl/lib/plumbing.m')
| -rw-r--r-- | appl/lib/plumbing.m | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/appl/lib/plumbing.m b/appl/lib/plumbing.m new file mode 100644 index 00000000..a00937d5 --- /dev/null +++ b/appl/lib/plumbing.m @@ -0,0 +1,23 @@ +Plumbing: module +{ + + PATH: con "/dis/lib/plumbing.dis"; + + Pattern: adt + { + field: string; + pred: string; + arg: string; + extra: list of string; + expand: int; + regex: Regex->Re; + }; + + Rule: adt + { + pattern: array of ref Pattern; + action: array of ref Pattern; + }; + + init: fn(regexmod: Regex, args: list of string): (list of ref Rule, string); +}; |
