From 46b3a9d13d584f4d48292dcf5ed71a79c2fd240c Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Thu, 14 Apr 2011 14:53:56 -0500
Subject: [PATCH] Fixes generation of `any' within `in-hole' context position

---
 collects/redex/private/rg.rkt    | 2 +-
 collects/redex/tests/rg-test.rkt | 8 +++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/collects/redex/private/rg.rkt b/collects/redex/private/rg.rkt
index b18e0a4397..93a26aa328 100644
--- a/collects/redex/private/rg.rkt
+++ b/collects/redex/private/rg.rkt
@@ -343,7 +343,7 @@
                         [`any
                          (λ (r s a e f)
                            (let*-values ([(lang nt) ((next-any-decision) langc sexpc)]
-                                         [(term) (gen-nt lang nt #f r s a (list the-hole))])
+                                         [(term) (gen-nt lang nt #f r s a the-not-hole)])
                              (values term e)))]
                         [(or (? symbol? (? nt? p)) `(cross ,(? symbol? p)))
                          (let ([cross? (not (symbol? pat))])
diff --git a/collects/redex/tests/rg-test.rkt b/collects/redex/tests/rg-test.rkt
index 3f2b9fc2ef..c944975f89 100644
--- a/collects/redex/tests/rg-test.rkt
+++ b/collects/redex/tests/rg-test.rkt
@@ -518,7 +518,13 @@
          empty any 5 0 (decisions #:nt (patterns first)
                                   #:any (λ (langc sexpc) (values sexpc 'sexp))
                                   #:var (list (λ _ 'x))))
-        'x))
+        'x)
+  (test 
+   (generate-term/decisions 
+    empty (in-hole (any hole) 7) 5 0
+    (decisions #:any (list (λ (_ sexp) (values sexp 'sexp)))
+               #:nt (patterns fourth)))
+   (term (hole 7))))
 
 ;; `hide-hole' pattern
 (let ()