diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2016-04-26 07:14:57 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2016-04-26 07:14:57 -0700 |
| commit | 5c9c19fd5e3dc428369f4a84d335c7a8e0bbc560 (patch) | |
| tree | 1f1e7907dc1070dbefbcf7f9bab9dab7b2b5edc1 /checkman.txr | |
| parent | 9caf0b79e79828eed95cd125fe9ec21d7d71f56f (diff) | |
| download | txr-5c9c19fd5e3dc428369f4a84d335c7a8e0bbc560.tar.gz txr-5c9c19fd5e3dc428369f4a84d335c7a8e0bbc560.tar.bz2 txr-5c9c19fd5e3dc428369f4a84d335c7a8e0bbc560.zip | |
Check that arg 2 of .codn starts with punctuation.
* checkman.txr: Constraint on first character of second
argument coded as a require constraint, enforced
with assert.
* txr.1: Newly discovered errors fixed.
Diffstat (limited to 'checkman.txr')
| -rw-r--r-- | checkman.txr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/checkman.txr b/checkman.txr index c4a13356..a9c18835 100644 --- a/checkman.txr +++ b/checkman.txr @@ -70,6 +70,9 @@ .cod3 @(assert bad ln `.cod3 needs three arguments`)@x @y @{z /\S+/}@(eol) @ (or) .@{type /codn|cod2/} @(assert bad ln `.@type needs two arguments`)@(cases)"@x"@(or)@{x /\S+/}@(end) @{y /\S+/}@(eol) +@ (assert bad ln `.codn second argument doesn't begin with punctuation`) +@ (require (or (not (equal type "codn")) + (chr-ispunct [y 0]))) @ (end) @(end) @;; |