diff options
| author | Charles.Forsyth <devnull@localhost> | 2006-12-22 17:07:39 +0000 |
|---|---|---|
| committer | Charles.Forsyth <devnull@localhost> | 2006-12-22 17:07:39 +0000 |
| commit | 37da2899f40661e3e9631e497da8dc59b971cbd0 (patch) | |
| tree | cbc6d4680e347d906f5fa7fca73214418741df72 /appl/lib/plumbing.m | |
| parent | 54bc8ff236ac10b3eaa928fd6bcfc0cdb2ba46ae (diff) | |
20060303a
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); +}; |
