From 289b20005782c936aefc75497fc0c2fa1cb4c828 Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Tue, 17 Mar 2009 18:21:11 +0000
Subject: [PATCH] Fixed bug in parse-language.

svn: r14155
---
 collects/redex/private/rg-test.ss | 8 ++++++++
 collects/redex/private/rg.ss      | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/collects/redex/private/rg-test.ss b/collects/redex/private/rg-test.ss
index fafdb8079d..2a0e6974fd 100644
--- a/collects/redex/private/rg-test.ss
+++ b/collects/redex/private/rg-test.ss
@@ -530,6 +530,14 @@
          (decisions #:nt (patterns fourth first first second first first first)
                     #:var (list (λ _ 'x) (λ _ 'y))))
         (term (λ (x) (hole y)))))
+(let ()
+  (define-language L
+    (a ((a ...) ...)))
+  (test (generate-term/decisions
+         L (cross a) 3 0 
+         (decisions #:nt (patterns second first)
+                    #:seq (list (λ _ 0) (λ _ 0) (λ _ 0) (λ _ 0))))
+        (term ((hole)))))
 
 ;; generation failures increase size and attempt
 (let ()
diff --git a/collects/redex/private/rg.ss b/collects/redex/private/rg.ss
index 50732ad1bd..65b9b00463 100644
--- a/collects/redex/private/rg.ss
+++ b/collects/redex/private/rg.ss
@@ -620,7 +620,7 @@ To do a better job of not generating programs with free variables,
   (struct-copy 
    compiled-lang lang
    [lang (map (parse-nt 'grammar) (compiled-lang-lang lang))]
-   [cclang (map (parse-nt 'top-level) (compiled-lang-cclang lang))]))
+   [cclang (map (parse-nt 'cross) (compiled-lang-cclang lang))]))
 
 ;; unparse-pattern: parsed-pattern -> pattern
 (define unparse-pattern