From 7de873f431ae197e1b7f6280b94a8a862637d85e Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Wed, 3 Aug 2011 14:29:33 -0400 Subject: [PATCH] added syntax property to universe 'disappeared-use so that keywords in world clauses point to origin and have docs --- collects/2htdp/universe.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/2htdp/universe.rkt b/collects/2htdp/universe.rkt index bb065ac6cd..01fb94b1dc 100644 --- a/collects/2htdp/universe.rkt +++ b/collects/2htdp/universe.rkt @@ -336,7 +336,9 @@ [(not (contains-clause? #'on-msg dom)) (raise-syntax-error #f "expects a on-msg clause, but found none" stx)] [else ; (and (memq #'on-new dom) (memq #'on-msg dom)) - #`(run-it ((new-universe universe%) u #,@args))]))])) + (syntax-property + #`(run-it ((new-universe universe%) u #,@args)) + 'disappeared-use (map (lambda (x) (car (syntax->list x))) dom))]))])) ; ;