diff options
| -rw-r--r-- | checkman.txr | 4 | ||||
| -rw-r--r-- | txr.1 | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/checkman.txr b/checkman.txr index cbec82be..48df2606 100644 --- a/checkman.txr +++ b/checkman.txr @@ -57,11 +57,11 @@ @ (assert bad ln `no .synb after Operator and macro heading`) @ (check-synb) @ (or) -.coNP @{type /Function|Operator|Macro|Accessor|Method|Structure|(Operators|Macros)\/function/}s@(assert bad ln `bad @{type}s heading`)@(rep :gap 0) @@, @{x /\S+/}@(last :mandatory) @@ @y and @@ @{z /\S+/}@(end) +.coNP @{type /Function|Operator|Macro|Accessor|Method|Structure|Pattern operator|(Operators|Macros)\/function/}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|Accessor|Method|Structure|Parameter list macro/}@(assert bad ln `bad @type heading`) @@ @{x /\S+/}@junk +.coNP @{type /Function|Operator|Macro|Accessor|Method|Structure|Pattern operator|Parameter list 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`) @@ -39779,10 +39779,10 @@ against the corresponding vector element. --> (2 4) .brev -.NP* Structure match +.coNP Pattern operator @ struct .synb -.mets @(structure << name >> { slot-name << pattern }*) -.mets @(structure << pattern >> { slot-name << pattern }*) +.mets @(struct < name >> { slot-name << pattern }*) +.mets @(struct < pattern >> { slot-name << pattern }*) .syne .desc The structure pattern operator matches a structure object. The operator |