From aa2132e0249d0600c525da7aff9929755a495108 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 11 Jan 2011 13:35:09 -0500 Subject: [PATCH] Bytes are a sequence of the new Byte type. original commit: 46f086282d7302e7e015109c9f945a92350e384c --- collects/typed-scheme/types/subtype.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/subtype.rkt b/collects/typed-scheme/types/subtype.rkt index 272e0349..4757dfa8 100644 --- a/collects/typed-scheme/types/subtype.rkt +++ b/collects/typed-scheme/types/subtype.rkt @@ -250,7 +250,7 @@ [((Base: 'String _ _ _) (Sequence: (list t*))) (subtype* A0 -Char t*)] [((Base: 'Bytes _ _ _) (Sequence: (list t*))) - (subtype* A0 -Nat t*)] + (subtype* A0 -Byte t*)] [((Base: 'Input-Port _ _ _) (Sequence: (list t*))) (subtype* A0 -Nat t*)] [((Hashtable: k v) (Sequence: (list k* v*)))