summaryrefslogtreecommitdiff
path: root/appl/lib/plumbing.m
diff options
context:
space:
mode:
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);
+};