From 7808be5e20c022799d16d3a7044dc1e17dd04898 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 12 Jan 2011 09:58:10 -0500 Subject: [PATCH] Fix portable-fixnum?. --- collects/typed-scheme/typecheck/tc-expr-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt index d8aa1e44f1..1ede210e8b 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt +++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt @@ -28,7 +28,7 @@ (define (portable-fixnum? n) (and (exact-integer? n) (< n (expt 2 30)) - (> n (- (expt 2 30))))) + (>= n (- (expt 2 30))))) ;; return the type of a literal value ;; scheme-value -> type