suzanne.soy/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
This commit is contained in:
Vincent St-Amour 2011-01-11 13:35:09 -05:00
parent 5dbc752542
commit 46f086282d
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*)))