add with-atomic-rewriters

Author: pnwamk

redex-doc/redex/scribblings/ref/typesetting.scrbl

@@ -1071,6 +1071,11 @@ appears in a pattern.
 ]
 }
 
+@defform[(with-atomic-rewriters ([name-symbol string-or-thunk-returning-pict] ...)
+                                  expression)]{
+Shorthand for nested @racket[with-atomic-rewriter] expressions.
+@history[#:added "1.4"]}
+
 @defform[(with-compound-rewriter name-symbol
                                  proc
                                  expression)]{

redex-pict-lib/redex/private/core-layout.rkt

@@ -53,6 +53,7 @@
          with-compound-rewriter
          with-compound-rewriters
          with-atomic-rewriter
+         with-atomic-rewriters
          STIX?
          white-bracket-sizing
          apply-rewrites
@@ -86,21 +87,26 @@
                    (basic-text "\u22ef" (default-style))
                    (basic-text "..." (default-style)))))
        (hole "[]"))))
-  
-  (define-syntax (with-atomic-rewriter stx)
+
+  (define-syntax-rule 
+    (with-atomic-rewriter name rewriter body)
+    (with-atomic-rewriters ([name rewriter]) body))
+  (define-syntax (with-atomic-rewriters stx)
     (syntax-parse stx
-      [(_ name transformer e:expr)
+      [(_ ([name transformer] ...) e:expr)
        #:declare name
        (expr/c #'symbol?
                #:name "atomic-rewriter name")
        #:declare transformer
        (expr/c #'(or/c (-> pict?) string?)
                #:name "atomic-rewriter rewrite")
-       #`(parameterize ([atomic-rewrite-table
-                         (cons (list name.c #,(wrap-expr/c #'(or/c string? (-> pict?))
-                                                           #'transformer.c))
-                               (atomic-rewrite-table))])
-           e)]))
+       (with-syntax ([(rewriter ...) (for/list ([t (in-list (syntax->list #'(transformer.c ...)))])
+                                       (wrap-expr/c #'(or/c string? (-> pict?))
+                                                    t))])
+         #`(parameterize ([atomic-rewrite-table
+                           (append (list (list name.c rewriter) ...)
+                                 (atomic-rewrite-table))])
+             e))]))
 
   ;; compound-rewrite-table : (listof lw) -> (listof (union lw pict string))
   (define compound-rewrite-table 

redex-test/redex/tests/bitmap-test.rkt

@@ -309,6 +309,13 @@
          'subst subst-rw
          (render-metafunction subst)))
        "metafunction-subst.png")
+(btest (with-atomic-rewriters
+        (['number "number"]
+         ['number "number"]) ;; these rewriters have no effect; here to test that path in the code
+        (with-compound-rewriter
+         'subst subst-rw
+         (render-metafunction subst)))
+       "metafunction-subst.png")
 
 
 ;; make sure two metafunctions simultaneously rewritten line up properly