From 5366c6898a43d133ad95bfd29293ae2a387e57c2 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 2 May 2012 13:52:48 -0400
Subject: [PATCH] Alias structure ctors, to avoid damage from shadowing.

---
 os2.rkt | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/os2.rkt b/os2.rkt
index 5c7b67e..f6cb4a0 100644
--- a/os2.rkt
+++ b/os2.rkt
@@ -36,6 +36,18 @@
 
 	 (struct-out at-meta-level)
 
+	 ;; Aliases of structures themselves, because of shadowing of
+	 ;; constructors/type-names.
+	 (rename-out [topic <topic>])
+	 (rename-out [handlers <handlers>])
+	 (rename-out [transition <transition>])
+	 (rename-out [add-role <add-role>])
+	 (rename-out [delete-role <delete-role>])
+	 (rename-out [send-message <send-message>])
+	 (rename-out [spawn <spawn>])
+	 (rename-out [kill <kill>])
+	 (rename-out [at-meta-level <at-meta-level>])
+
 	 ;; Reexports from unify.rkt for convenience
 	 wild
 	 wild?