suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed bug in parse-language.

Browse Source 
svn: r14155
This commit is contained in:
Casey Klein 2009-03-17 18:21:11 +00:00
parent 2068a5dcc3
commit 289b200057
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/redex/private/rg-test.ss
View File

@ -530,6 +530,14 @@
(decisions #:nt (patterns fourth first first second first first first) (decisions #:nt (patterns fourth first first second first first first)
#:var (list (λ _ 'x) (λ _ 'y)))) #:var (list (λ _ 'x) (λ _ 'y))))
(term (λ (x) (hole 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 ;; generation failures increase size and attempt
(let () (let ()

2
collects/redex/private/rg.ss
View File

@ -620,7 +620,7 @@ To do a better job of not generating programs with free variables,
(struct-copy (struct-copy
compiled-lang lang compiled-lang lang
[lang (map (parse-nt 'grammar) (compiled-lang-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 ;; unparse-pattern: parsed-pattern -> pattern
(define unparse-pattern (define unparse-pattern