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

Correct TR types for udp-bind! and udp-connect!.

Browse Source 
(cherry picked from commit a57e158c43)
This commit is contained in:
Tony Garnock-Jones 2012-10-30 13:42:20 -04:00 committed by Ryan Culpepper
parent f72e2b6f02
commit f8a0be0116
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/base-env/base-env.rkt
View File

@ -1484,8 +1484,8 @@
;;racket/udp ;;racket/udp
[udp-open-socket (->opt [(-opt -String) (-opt -String)] -UDP-Socket)] [udp-open-socket (->opt [(-opt -String) (-opt -String)] -UDP-Socket)]
[udp-bind! (-> -UDP-Socket (-opt -String) -PosInt)] [udp-bind! (-> -UDP-Socket (-opt -String) -Nat -Void)]
[udp-connect! (-> -UDP-Socket (-opt -String) -PosInt)] [udp-connect! (-> -UDP-Socket (-opt -String) (-opt -Nat) -Void)]
[udp-send-to (->opt -UDP-Socket -String -Nat -Bytes [-Nat -Nat] -Void)] [udp-send-to (->opt -UDP-Socket -String -Nat -Bytes [-Nat -Nat] -Void)]
[udp-send (->opt -UDP-Socket -Bytes [-Nat -Nat] -Void)] [udp-send (->opt -UDP-Socket -Bytes [-Nat -Nat] -Void)]