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

Added types for integer/bytes functions.

Browse Source 
original commit: 3dbbd6d3fc47e3f23fee85bfcfe53d2827f18db5
This commit is contained in:
Vincent St-Amour 2010-07-15 15:28:27 -04:00
parent 9a06f49bce
commit 33f4ea048d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env-indexing-abs.rkt
View File

@ -158,6 +158,8 @@
[bytes-utf-8-ref (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -Char)]
[bytes-utf-8-index (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -NonnegativeFixnum)]
[integer->integer-bytes (-Integer index-type Univ [Univ -Bytes index-type] . ->opt . -Bytes)]
[integer-bytes->integer (-Bytes Univ [Univ index-type index-type] . ->opt . -Integer)]
[peek-char
(cl->* [->opt [-Input-Port index-type] (Un -Char (-val eof))])]