suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Bytes are a sequence of the new Byte type.

Browse Source 
original commit: 46f086282d7302e7e015109c9f945a92350e384c
This commit is contained in:
Vincent St-Amour 2011-01-11 13:35:09 -05:00
parent 8542bc4073
commit aa2132e024
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/types/subtype.rkt
View File

@ -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*)))