diff --git a/collects/redex/private/core-layout.rkt b/collects/redex/private/core-layout.rkt index 26b07f3073..aea32a84fe 100644 --- a/collects/redex/private/core-layout.rkt +++ b/collects/redex/private/core-layout.rkt @@ -90,10 +90,6 @@ (list (blank) (list-ref args 2) (blank)))) - (hole ,(λ (args) - (let ([name (lw-e (list-ref args 2))]) - (list (basic-text "[]" (default-style)) - (basic-text (format "~a" name) (non-terminal-subscript-style)))))) (name ,(λ (args) (let ([open-paren (list-ref args 0)] [the-name (list-ref args 2)] diff --git a/collects/redex/tests/bitmap-test.rkt b/collects/redex/tests/bitmap-test.rkt index de28d2b737..a0855d0882 100644 --- a/collects/redex/tests/bitmap-test.rkt +++ b/collects/redex/tests/bitmap-test.rkt @@ -236,5 +236,12 @@ (side-condition/hidden (= 1 2))))) "rr-hidden.png") +;; holes +(let () + (define-language L + (n (hole x) ; a "named hole" at one time + hole)) + (test (render-language L) "holes.png")) + (printf "bitmap-test.ss: ") (done) diff --git a/collects/redex/tests/bmps-macosx/holes.png b/collects/redex/tests/bmps-macosx/holes.png new file mode 100644 index 0000000000..82b9bd582c Binary files /dev/null and b/collects/redex/tests/bmps-macosx/holes.png differ