From 8b9525f1c98645b500e2ff548fef168cf5b3a4b9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 14 Jan 2019 08:56:57 -0700 Subject: [PATCH] io: fix `udp-set-receive-buffer-size!` error reporting --- racket/src/io/network/udp-receive.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/racket/src/io/network/udp-receive.rkt b/racket/src/io/network/udp-receive.rkt index 8a56d92a99..5732640400 100644 --- a/racket/src/io/network/udp-receive.rkt +++ b/racket/src/io/network/udp-receive.rkt @@ -6,6 +6,7 @@ "../sandman/main.rkt" "../string/convert.rkt" "../string/integer.rkt" + "../format/main.rkt" "port-number.rkt" "check.rkt" "address.rkt" @@ -161,7 +162,7 @@ (define/who (udp-set-receive-buffer-size! u size) (check who udp? u) - (check who exact-nonnegative-integer? size) + (check who exact-positive-integer? size) (atomically (check-udp-closed who u) (unless (fixnum? size)