From 37da2899f40661e3e9631e497da8dc59b971cbd0 Mon Sep 17 00:00:00 2001 From: "Charles.Forsyth" Date: Fri, 22 Dec 2006 17:07:39 +0000 Subject: 20060303a --- appl/lib/plumbing.m | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 appl/lib/plumbing.m (limited to 'appl/lib/plumbing.m') 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); +}; -- cgit v1.2.3