From 5b546e1b2c572c84732e9994ef1306f6953c2220 Mon Sep 17 00:00:00 2001 From: WarGrey Gyoudmon Ju Date: Thu, 5 Jan 2017 03:47:44 +0800 Subject: [PATCH] Add type annotations for port line counting (#479) --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 57347281..aa70ba3f 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -1810,7 +1810,9 @@ ;; Section 13.1.4 [port-count-lines! (-> (Un -Input-Port -Output-Port) -Void)] +[port-counts-lines? (-> (Un -Input-Port -Output-Port) -Boolean)] [port-next-location (-> (Un -Input-Port -Output-Port) (-values (list (-opt -PosInt) (-opt -Nat) (-opt -PosInt))))] +[set-port-next-location! (-> (Un -Input-Port -Output-Port) (-opt -PosInt) (-opt -Nat) (-opt -PosInt) -Void)] [port-count-lines-enabled (-Param Univ B)] ;; Section 13.1.5