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

Add type annotations for port line counting (#479)

Browse Source
This commit is contained in:
WarGrey Gyoudmon Ju 2017-01-05 03:47:44 +08:00 committed by Sam Tobin-Hochstadt
parent fdb79d9a34
commit 5b546e1b2c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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