From 0c63d827d6c66a7f671daa18482368b9ab98bddc Mon Sep 17 00:00:00 2001
From: Ryan Culpepper <ryanc@racket-lang.org>
Date: Fri, 11 Sep 2009 23:16:22 +0000
Subject: [PATCH] redex, macro-debugger: stxclass -> syntax/parse,
 syntax/private/util

svn: r15986

original commit: 9ca3192a60a2311f0437bb020485e9231cdf9c0d
---
 collects/macro-debugger/model/reductions-engine.ss  | 10 +++++-----
 .../macro-debugger/syntax-browser/interfaces.ss     | 13 +++++++------
 2 files changed, 12 insertions(+), 11 deletions(-)

diff --git a/collects/macro-debugger/model/reductions-engine.ss b/collects/macro-debugger/model/reductions-engine.ss
index 72227e3..b083108 100644
--- a/collects/macro-debugger/model/reductions-engine.ss
+++ b/collects/macro-debugger/model/reductions-engine.ss
@@ -1,6 +1,6 @@
 #lang scheme/base
 (require (for-syntax scheme/base)
-         (for-syntax stxclass)
+         (for-syntax syntax/parse)
          scheme/list
          scheme/contract
          "deriv.ss"
@@ -12,7 +12,10 @@
 (provide (all-from-out "steps.ss")
          (all-from-out "reductions-config.ss")
          DEBUG
-         R)
+         R
+         !)
+
+(define-syntax ! (syntax-rules ()))
 
 (define-syntax-rule (with-syntax1 ([pattern rhs]) . body)
   (syntax-case rhs ()
@@ -22,9 +25,6 @@
                                    'pattern)
                            #'x)]))
 
-(begin-for-syntax
- (expr/c-use-contracts? #f))
-
 (define-syntax-rule (DEBUG form ...)
   (when #f
     form ... (void)))
diff --git a/collects/macro-debugger/syntax-browser/interfaces.ss b/collects/macro-debugger/syntax-browser/interfaces.ss
index 7c60b40..f8a47e5 100644
--- a/collects/macro-debugger/syntax-browser/interfaces.ss
+++ b/collects/macro-debugger/syntax-browser/interfaces.ss
@@ -19,12 +19,13 @@
   (lambda (stx)
     (syntax-case stx ()
       [(_ name ...)
-       (apply append
-              (for/list ([name (syntax->list #'(name ...))])
-                (list ;; (join "init-" #'name)
-                      (join "get-" name)
-                      (join "set-" name)
-                      (join "listen-" name))))])))
+       (datum->syntax #f
+         (apply append
+                (for/list ([name (syntax->list #'(name ...))])
+                  (list ;; (join "init-" #'name)
+                   (join "get-" name)
+                   (join "set-" name)
+                   (join "listen-" name)))))])))
 
 ;; Interfaces