Fix type of file-position

Closes issue #297
2016-01-17 15:58:37 -05:00 · 2016-01-17 15:58:37 -05:00 · bad5a35291
commit bad5a35291
parent 838431c176
2 changed files with 3 additions and 1 deletions
--- a/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@ -1762,7 +1762,7 @@
 [file-stream-buffer-mode (cl-> [(-Port) (one-of/c 'none 'line 'block #f)]
                               [(-Port (one-of/c 'none 'line 'block)) -Void])]
 [file-position (cl-> [(-Port) -Nat]
-                     [(-Port -Integer) -Void])]
+                     [(-Port (Un -Integer (-val eof))) -Void])]
 [file-position* (-> -Port (Un -Nat (-val #f)))]

 ;; Section 13.1.4
--- a/typed-racket-test/succeed/ports.rkt
+++ b/typed-racket-test/succeed/ports.rkt
@ -31,6 +31,8 @@
 (read my-output-reader)
 (get-output-bytes my-error-port)

+(file-position my-input eof)
+
 (close-input-port my-input)
 (close-input-port my-output-reader)
 (close-output-port my-output)