working around a 5.3.1 weird typed-racket bug

This commit is contained in:
Danny Yoo 2012-10-23 17:20:15 -06:00
parent 63a0ab2f81
commit 9d460f09ab

View File

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