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

Fixed the type of file-position.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-08-24 16:58:21 -04:00
parent f031fa4ad1
commit a4b0c69ec2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/private/base-env.rkt
View File

@ -601,7 +601,8 @@
[flush-output (->opt [-Output-Port] -Void)]
[file-stream-buffer-mode (cl-> [(-Port) (Un (-val 'none) (-val 'line) (-val 'block) (-val #f))]
[(-Port (Un (-val 'none) (-val 'line) (-val 'block))) -Void])]
[file-position (-> -Port -Nat)]
[file-position (cl-> [(-Port) -Nat]
[(-Port -Integer) -Void])]
[force (-poly (a) (-> (-Promise a) a))]
[regexp-replace*