diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2021-06-15 22:16:34 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2021-06-15 23:35:15 -0700 |
| commit | 40c1dee7647ddb7d4768a2eadf9915ab29e62f59 (patch) | |
| tree | 0617a1f06b1dea5067def8028c0d71b9dfb653e6 /txr.1 | |
| parent | 79d832988eaa51f564eca913dec112e4df33593e (diff) | |
| download | txr-40c1dee7647ddb7d4768a2eadf9915ab29e62f59.tar.gz txr-40c1dee7647ddb7d4768a2eadf9915ab29e62f59.tar.bz2 txr-40c1dee7647ddb7d4768a2eadf9915ab29e62f59.zip | |
math: forbid dubious inequality comparisons.
The issue, reported by Paul A. Patience, is that
code like (< 1 "abc") is successfully producing a result.
The root cause is that 1 is an iterable object, and so
is treated as a sequence opposite to the "abc" operand.
We should allow only true sequences in this situation.
* arith.c (seq_lt_compat_check): New static function. Checks
that neither of two sequences is SEQ_NOTSEQ or SEQ_HASHLIKE.
(seq_lt, seq_le): Use seq_lt_compat_check to reject dubious
inputs.
* txr.1: Minor wording change in the related documentation,
removing a gratuitous adjective.
* tests/016/arith.tl: Inequality tests.
Diffstat (limited to 'txr.1')
| -rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -44843,7 +44843,7 @@ First, if the numbers do not have the same type, then the one which has the lower ranking type is converted to the type of the other, according to this ranking: character < integer < float. For instance if a character and integer are compared, the character -is converted to integer. Then a straightforward numeric comparison +is converted to its integer character code. Then a numeric comparison is applied. Three or more arguments may be given, in which case the comparison proceeds |