From ab03a26026441e1928a4fc411de6188f6fe89845 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 22 Feb 2012 11:33:48 -0500 Subject: [PATCH] TODO update --- TODO | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/TODO b/TODO index 424271e..f37546a 100644 --- a/TODO +++ b/TODO @@ -14,3 +14,17 @@ and negative), and interfacing to ad-hoc sources and sinks. - is timeout really primitive? If so, isn't presence primitive? - what about metatimeout? - enforce user-mode restrictions + +### Abstract out UDP socket creation + +### Things to consider doing to os-big-bang.rkt + + - add contracts on structs used as message types e.g. to catch such + as #(192 203 230 10) being used instead of (udp-address + "192.203.230.10" 53). + + - some kind of join-ish construct to make e.g. cname-expansion + prettier + + - have a "terminate" kind of transition for unspawning the + transitioning process