From 53b6badcd17e5b33900ac4926488c990a7802290 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 31 May 2013 10:29:16 -0400
Subject: [PATCH] TR doesn't have types for events, let alone udp-receive!-evt.
 How did this ever work?

---
 marketplace/drivers/udp.rkt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/marketplace/drivers/udp.rkt b/marketplace/drivers/udp.rkt
index b3777c2..ec9beb6 100644
--- a/marketplace/drivers/udp.rkt
+++ b/marketplace/drivers/udp.rkt
@@ -3,7 +3,12 @@
 
 (require racket/set)
 (require racket/match)
-(require racket/udp)
+
+(require "../support/event.rkt")
+(require (except-in racket/udp udp-receive!-evt))
+(require/typed racket/udp
+	       [udp-receive!-evt (UDP-Socket Bytes -> Evt)])
+
 (require "../sugar-typed.rkt")
 (require "../support/event.rkt")
 (require "../support/pseudo-substruct.rkt")