From ebb45abee530f702dea31e2aefb1401a13f48c00 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 6 Jul 2009 15:11:29 +0000
Subject: [PATCH] fix rendering of atomic transformers that produce strings,
 notably for hole

svn: r15394
---
 collects/redex/private/core-layout.ss | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/collects/redex/private/core-layout.ss b/collects/redex/private/core-layout.ss
index 16135c571f..c2e8fad505 100644
--- a/collects/redex/private/core-layout.ss
+++ b/collects/redex/private/core-layout.ss
@@ -704,13 +704,13 @@
            (memq atom '(number variable variable-except variable-not-otherwise-mentioned)))
        (list (non-terminal->token col span (format "~s" atom)))]
       [(symbol? atom)
-       (list (or (rewrite-atomic col span atom)
+       (list (or (rewrite-atomic col span atom literal-style)
                  (make-string-token col span (symbol->string atom) (literal-style))))]
       [(string? atom)
        (list (make-string-token col span atom (default-style)))]
       [else (error 'atom->tokens "unk ~s" atom)]))
 
-  (define (rewrite-atomic col span e)
+  (define (rewrite-atomic col span e get-style)
     (cond
      [(assoc e (atomic-rewrite-table))
       =>
@@ -720,12 +720,12 @@
          (let ([p (cadr m)])
            (if (procedure? p)
                (make-pict-token col span (p))
-               (make-string-token col span p (non-terminal-style)))))]
+               (make-string-token col span p (get-style)))))]
      [else #f]))
 
   (define (non-terminal->token col span str)
     (let ([e (string->symbol str)])
-      (or (rewrite-atomic col span e)
+      (or (rewrite-atomic col span e non-terminal-style)
           (make-string-token col
                              span
                              str