summaryrefslogtreecommitdiff
path: root/appl/lib/plumbing.m
diff options
context:
space:
mode:
authorCharles.Forsyth <devnull@localhost>2006-12-22 17:07:39 +0000
committerCharles.Forsyth <devnull@localhost>2006-12-22 17:07:39 +0000
commit37da2899f40661e3e9631e497da8dc59b971cbd0 (patch)
treecbc6d4680e347d906f5fa7fca73214418741df72 /appl/lib/plumbing.m
parent54bc8ff236ac10b3eaa928fd6bcfc0cdb2ba46ae (diff)
20060303a
Diffstat (limited to 'appl/lib/plumbing.m')
-rw-r--r--appl/lib/plumbing.m23
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);
+};