blob: a00937d5c85bbb9cb05db8e60c1d137d37d22d4b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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);
};
|
