From 52543ac0d09f77922bf3447935f5cf86c2433662 Mon Sep 17 00:00:00 2001 From: "Paul A. Patience" Date: Thu, 1 Jul 2021 16:15:10 -0400 Subject: doc: fix various issues in .coNP lines. * txr.1: Make consistent the style for ellipses in .coNP lines (i.e., without the word "and"). Emend some incorrectly named symbols. Fix various typos and other inconsistencies in .coNP lines. * checkman.txr (check-func): Add exception for caar. Add missing patterns for "Pattern macro", "Operator/function" and "Macro/function". * stdlib/doc-syms.tl: Updated. --- checkman.txr | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'checkman.txr') diff --git a/checkman.txr b/checkman.txr index a41cab5e..8d0b0ace 100644 --- a/checkman.txr +++ b/checkman.txr @@ -49,6 +49,9 @@ @;; @(define check-func ()) @ (cases) +@; exception +.coNP @/Accessors/ @@, caar @(skip) +@ (or) .coNP @{type /Operator|Macro/}/function @(skip) @ (assert bad ln `no .synb after @type/function heading`) @ (check-synb) @@ -61,7 +64,7 @@ @ (assert bad ln `no .synb after @{type}s heading`) @ (check-synb) @ (or) -.coNP @{type /Function|Operator|Macro|Accessor|Method|Structure|Pattern operator|Parameter list macro/}@(assert bad ln `bad @type heading`) @@ @{x /\S+/}@junk +.coNP @{type /Function|Operator|Macro|Accessor|Method|Structure|Pattern (operator|macro)|Parameter list macro|(Operator|Macro)\/function/}@(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`) -- cgit v1.2.3