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

Corrected types for source location in lists passed to datum->syntax.

Browse Source 
Corrected types for peek-* functions (which may return EOF).
Added type for read-byte.

svn: r15137

original commit: e53b944fb3261c20322965f7671e08df5f7c5608
This commit is contained in:
Carl Eastlund 2009-06-10 23:38:52 +00:00
parent bbcaf97689
commit 3e612cbb93
1 changed files with 14 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
collects/typed-scheme/private/base-env.ss
View File

@ -484,16 +484,19 @@
(cl->* (-Pattern (Un -Bytes -String) (Un -Bytes -String) . -> . -Bytes)
(-Pattern -String -String . -> . -String))]
[peek-char
(cl->* [-> -Char]
[-Input-Port . -> . -Char]
[-Input-Port N . -> . -Char])]
(cl->* [-> (Un -Char (-val eof))]
[-Input-Port . -> . (Un -Char (-val eof))]
[-Input-Port N . -> . (Un -Char (-val eof))])]
[peek-byte
(cl->* [-> -Byte]
[-Input-Port . -> . -Byte]
[-Input-Port N . -> . -Byte])]
(cl->* [-> (Un -Byte (-val eof))]
[-Input-Port . -> . (Un -Byte (-val eof))]
[-Input-Port N . -> . (Un -Byte (-val eof))])]
[read-char
(cl->* [-> (Un -Char (-val eof))]
[-Input-Port . -> . (Un -Char (-val eof))])]
[read-byte
(cl->* [-> (Un -Byte (-val eof))]
[-Input-Port . -> . (Un -Byte (-val eof))])]
[make-pipe
(cl->* [-> (-values (list -Input-Port -Output-Port))]
[N . -> . (-values (list -Input-Port -Output-Port))])]
@ -544,11 +547,11 @@
[S (-Syntax Univ)]
[ctxt (-opt S)]
[srclist (-Tuple (list
Univ
(-opt -Number)
(-opt -Number)
(-opt -Number)
(-opt -Number)))]
Univ
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)))]
[srcloc (Un S (-val #f) srclist)]
[prop (-opt S)]
[cert (-opt S)])