redex, macro-debugger: stxclass -> syntax/parse, syntax/private/util

svn: r15986

original commit: 9ca3192a60a2311f0437bb020485e9231cdf9c0d

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)))

collects/macro-debugger/syntax-browser/interfaces.ss

@@ -19,12 +19,13 @@
   (lambda (stx)
     (syntax-case stx ()
       [(_ 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))))])))
+                   (join "listen-" name)))))])))
 
 ;; Interfaces