diff options
Diffstat (limited to 'checkman.txr')
| -rw-r--r-- | checkman.txr | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/checkman.txr b/checkman.txr index 024c83f9..af6b4056 100644 --- a/checkman.txr +++ b/checkman.txr @@ -51,11 +51,15 @@ @ (cases) .coNP Operator/function @(skip) @ (or) +.coNP Operator @@ @op and macro @@ @mac +@ (or) .coNP @{type /Function|Operator|Macro/}s@(assert bad ln `bad @{type}s heading`)@(rep :gap 0) @@, @{x /\S+/}@(last :mandatory) @@ @y and @@ @{z /\S+/}@(end) @ (assert bad ln `no .synb after @{type}s heading`) @ (check-synb) @ (or) -.coNP @{type /Function|Operator|Macro/}@(assert bad ln `bad @type heading`) @@ @{x /\S+/} +.coNP @{type /Function|Operator|Macro/}@(assert bad ln `bad @type heading`) @@ @{x /\S+/}@junk +@ (assert bad ln `extra elements in singular @type heading`) +@ (bind junk "") @ (assert bad ln `no .synb after @type heading`) @ (check-synb) @ (end) |