We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
zero-comparison-to-negative?
1 parent 8e83b1a commit 97c1968Copy full SHA for 97c1968
typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-hetero.rkt
@@ -57,7 +57,7 @@
57
(cond
58
[(not (and (integer? i-val) (exact? i-val)))
59
(tc-error/expr #:stx expr "expected exact integer for ~a index, but got ~a" name i-val)]
60
- [(< i-val 0)
+ [(negative? i-val)
61
(tc-error/expr #:stx expr "index ~a too small for ~a ~a" i-val name type)]
62
[(not (< i-val i-bound))
63
(tc-error/expr #:stx expr "index ~a too large for ~a ~a" i-val name type)]))
0 commit comments