From 3aae29501e23c0614fecf9b18066f12ed60ab36f Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 19 Jul 2010 15:32:12 -0400 Subject: [PATCH] Bytes are fixnums. original commit: c4ae44123f74de07933d1c6edfb25be4609af6dd --- collects/typed-scheme/types/abbrev.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/abbrev.rkt b/collects/typed-scheme/types/abbrev.rkt index a8203f4e..5ce0ce8a 100644 --- a/collects/typed-scheme/types/abbrev.rkt +++ b/collects/typed-scheme/types/abbrev.rkt @@ -176,7 +176,7 @@ (define -ExactNonnegativeInteger (*Un -ExactPositiveInteger -Zero)) (define -Nat -ExactNonnegativeInteger) -(define -Byte -Integer) +(define -Byte -NonnegativeFixnum)