From 32148614203c5911f5b499a0e76439c79d79ee55 Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Thu, 24 Mar 2011 06:57:12 -0500
Subject: [PATCH] Fixes rendering of (hole t ...+)

There was some old named holes code still in use.
---
 collects/redex/private/core-layout.rkt     |   4 ----
 collects/redex/tests/bitmap-test.rkt       |   7 +++++++
 collects/redex/tests/bmps-macosx/holes.png | Bin 0 -> 964 bytes
 3 files changed, 7 insertions(+), 4 deletions(-)
 create mode 100644 collects/redex/tests/bmps-macosx/holes.png

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 0000000000000000000000000000000000000000..82b9bd582ce4c319a5d366ca80705d1301423d36
GIT binary patch
literal 964
zcmV;#13UbQP)<h;3K|Lk000e1NJLTq002Ay0012b0ssI2d2X1t00006VoOIv0RI60
z0RN!9r;`8x19?eAK~z|U?UqeQDs2?U&uuIiA|b}2t3{#F5Yfk?MXLykBBV_%Du`gR
zY?BB=i-K@ffgwbn%L*YkEds$Lu|NcA6K3ryCMZlsO~&kFDt+!^-d9AqHSfJTo44QU
zobx<${QJzGdCm`n5Qs%0k+{FV2LP#5`u_g@^72wpP#~Af|8pahe>jd?U0sdG<2N@q
z03esk&1UoX_;^`aSxHHWkPbed@9^+2mF8Xa+uIvOQK3)>A;gP*etzbcyk4(B(Fh@%
z&9=S0&Bq0~H9$5Ni>0ZlNhXsC+`qQA*4f#~vMc~ZqtULeuD!iI08p#dTU%T4cpN~O
zJ^K3k78e(@<1a}jlS-wMrfEJEa?+7Vq`bUbr_&*Xv|24mlCQ6?{L<{~?9$Q_LI_xv
zH5!ert*s9a4|8*KRaI5|t4wEebJOK=WyCWxGe5IfUS3Xr@b>l=!?0vBDO@x{$ZEA>
z7`Cyofnk`(<4M(bcXxYwdJykvlgUI;)XvV%$H#|MD!shC6mp7zK;R+^hGEk893LN7
zR8*u=;ht8j)c`OxHI-gGI5<!$l?WjT05}|u>gwv@;bFhuPY^_HZLJXV@kjglo>(j<
z(8?K<mX-nlK@jOh9LGbU5CBLXA0Is)&;0y+VPT=u>Fn+871(!WWo3VVKchG{Ha0Rc
zl1fREWEduqNMINyT(RA5w_2?RgJEG|VPIgOv9Xb_M<S8R%1Qu`xLmI0=H|AxHUMxs
zoqE0A=kv9+w4`@AIXRKZWGa;^J#KGrS11%2zt_;vke;eks-mJIhGD*ZCn;jF*yQA-
zPNy@Q&1Yw48jZ&5_45BY7!3Z?e_~=H^);xgt1}vn(P%WoVI3VE27@6x7Q*!Ow9RG{
z?rE)7t57Inu^2+=>go!|ag)i!FZK8L9~~Vb5iS>&Wrv1_gp2+icXxNAqoaH*#x?Hu
z`z;m=`d75W;h<^y;^Ja`eO;jFa5${j>p70&(;rBbfhiCO;5g24+~D9K08kWleSPhA
zyNip9?RNW@kDs5P*VoreBoaQ&ujrhObs6N!1L1JErluyN_{U@2=ScqgG{1)b2mpXa
zqv`JM{`-b`pYrm-w`j5W7A+RvqQ&C>Et((*nx=Er?Q_Jq5#4S#Ns>=bPp7A+Icb>R
mfhiaa{@GafIU<dwx#brx(JW2%lJ1EB0000<MNUMnLSTXeq|y2S

literal 0
HcmV?d00001