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

Fix Redex variable-not-otherwise-mentioned bug.

Browse Source 
And add a test to keep it from happening again.
This commit is contained in:
Max New 2013-09-06 09:36:18 -07:00
parent 2873ba700f
commit e02d425aa5
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/redex-pkgs/redex-lib/redex/private/recursive-lang.rkt
View File

@ -242,7 +242,9 @@
[else (loop sub-pat)])) [else (loop sub-pat)]))
sub-pats)] sub-pats)]
[(? (compose not pair?)) [(? (compose not pair?))
(set pat)]))) (if (symbol? pat)
(set pat)
(set))])))
(nt-rhs the-nt))) (nt-rhs the-nt)))
lang))) lang)))

2
pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
View File

@ -80,7 +80,7 @@
;; test variable-not-otherwise-mentioned ;; test variable-not-otherwise-mentioned
(define-language VarMentioned (define-language VarMentioned
(mention a b c x y z) (mention a b c x y z 2 #f #\c (vec 1 2))
(var variable-not-otherwise-mentioned)) (var variable-not-otherwise-mentioned))
(try-it 20 VarMentioned var) (try-it 20 VarMentioned var)