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

Fix types of udp-related functions

Browse Source
This commit is contained in:
Georges Dupéron 2017-05-11 18:01:31 +02:00 committed by Vincent St-Amour
parent 764696752d
commit adb806a7e5
1 changed files with 15 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2737,20 +2737,20 @@
[tcp-port? (asym-pred Univ B (-PS (-is-type 0 (Un -Input-Port -Output-Port)) -tt))]
;; Section 15.3.2 (racket/udp)
[udp-open-socket (->opt [(-opt -String) (-opt -String)] -UDP-Socket)]
[udp-bind! (-> -UDP-Socket (-opt -String) -Nat -Void)]
[udp-connect! (-> -UDP-Socket (-opt -String) (-opt -Nat) -Void)]
[udp-open-socket (->opt [(-opt -String) (-opt -Int)] -UDP-Socket)]
[udp-bind! (-> -UDP-Socket (-opt -String) -Int -Void)]
[udp-connect! (-> -UDP-Socket (-opt -String) (-opt -Int) -Void)]
[udp-send-to (->opt -UDP-Socket -String -Nat -Bytes [-Nat -Nat] -Void)]
[udp-send (->opt -UDP-Socket -Bytes [-Nat -Nat] -Void)]
[udp-send-to* (->opt -UDP-Socket -String -Nat -Bytes [-Nat -Nat] B)]
[udp-send* (->opt -UDP-Socket -Bytes [-Nat -Nat] B)]
[udp-send-to/enable-break (->opt -UDP-Socket -String -Nat -Bytes [-Nat -Nat] -Void)]
[udp-send/enable-break (->opt -UDP-Socket -Bytes [-Nat -Nat] -Void)]
[udp-send-to (->opt -UDP-Socket -String -Int -Bytes [-Int -Int] -Void)]
[udp-send (->opt -UDP-Socket -Bytes [-Int -Int] -Void)]
[udp-send-to* (->opt -UDP-Socket -String -Int -Bytes [-Int -Int] B)]
[udp-send* (->opt -UDP-Socket -Bytes [-Int -Int] B)]
[udp-send-to/enable-break (->opt -UDP-Socket -String -Int -Bytes [-Int -Int] -Void)]
[udp-send/enable-break (->opt -UDP-Socket -Bytes [-Int -Int] -Void)]
[udp-receive! (->opt -UDP-Socket -Bytes [-Nat -Nat] (-values (list -Nat -String -Nat)))]
[udp-receive!* (->opt -UDP-Socket -Bytes [-Nat -Nat] (-values (list (-opt -Nat) (-opt -String) (-opt -Nat))))]
[udp-receive!/enable-break (->opt -UDP-Socket -Bytes [-Nat -Nat] (-values (list -Nat -String -Nat)))]
[udp-receive! (->opt -UDP-Socket -Bytes [-Int -Int] (-values (list -Nat -String -Nat)))]
[udp-receive!* (->opt -UDP-Socket -Bytes [-Int -Int] (-values (list (-opt -Nat) (-opt -String) (-opt -Nat))))]
[udp-receive!/enable-break (->opt -UDP-Socket -Bytes [-Int -Int] (-values (list -Nat -String -Nat)))]
[udp-close (-> -UDP-Socket -Void)]
[udp? (make-pred-ty -UDP-Socket)]
@ -2759,12 +2759,12 @@
[udp-send-ready-evt (-> -UDP-Socket (-mu x (-evt x)))]
[udp-receive-ready-evt (-> -UDP-Socket (-mu x (-evt x)))]
[udp-send-to-evt (->opt -UDP-Socket -String -Nat -Bytes [-Nat -Nat]
[udp-send-to-evt (->opt -UDP-Socket -String -Int -Bytes [-Int -Int]
(-evt -Void))]
[udp-send-evt (->opt -UDP-Socket -Bytes [-Nat -Nat]
[udp-send-evt (->opt -UDP-Socket -Bytes [-Int -Int]
(-evt -Void))]
[udp-receive!-evt
(->opt -UDP-Socket -Bytes [-Nat -Nat]
(->opt -UDP-Socket -Bytes [-Int -Int]
(-evt (-lst* -Nat -String -Nat)))]
[udp-addresses