From a4b0c69ec20074eba319070613ff63d40cd937e0 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 24 Aug 2010 16:58:21 -0400 Subject: [PATCH] Fixed the type of file-position. --- collects/typed-scheme/private/base-env.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 3e45706d34..eb2f195d78 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -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*