Fixed the type of file-position.
original commit: a4b0c69ec20074eba319070613ff63d40cd937e0
This commit is contained in:
parent
5df8b46738
commit
69ebe6711b
|
@ -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*
|
||||
|
|
Loading…
Reference in New Issue
Block a user