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 2bf9a68 commit 91f5d90Copy full SHA for 91f5d90
typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-hetero.rkt
@@ -51,7 +51,7 @@
51
(cond
52
[(not (and (integer? i-val) (exact? i-val)))
53
(tc-error/expr #:stx expr "expected exact integer for ~a index, but got ~a" name i-val)]
54
- [(< i-val 0)
+ [(negative? i-val)
55
(tc-error/expr #:stx expr "index ~a too small for ~a ~a" i-val name type)]
56
[(not (< i-val i-bound))
57
(tc-error/expr #:stx expr "index ~a too large for ~a ~a" i-val name type)]))
0 commit comments