From 9d460f09ab4827d59417e20c730f6552c1572f25 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@hashcollision.org>
Date: Tue, 23 Oct 2012 17:20:15 -0600
Subject: [PATCH] working around a 5.3.1 weird typed-racket bug

---
 parameters.rkt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/parameters.rkt b/parameters.rkt
index d9b76e3..8df577d 100644
--- a/parameters.rkt
+++ b/parameters.rkt
@@ -113,6 +113,9 @@
 ;;; These parameters below will probably go away soon.
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(: current-defined-name (Parameterof (U Symbol LamPositionalName)))
-(define current-defined-name (make-parameter 'unknown))
+;; Workaround for what appears to be a bug in 5.3.1 pre-release
+(: UNKNOWN Symbol)
+(define UNKNOWN 'unknown)
 
+(: current-defined-name (Parameterof (U Symbol LamPositionalName)))
+(define current-defined-name (make-parameter UNKNOWN))