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

Fix in-hole enum bug and add test case

Browse Source
This commit is contained in:
Max New 2013-11-18 21:12:19 -06:00
parent 0b663736fb
commit a2021fa634
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
View File

@ -215,7 +215,7 @@
(define term-fn (refs-to-fn termpat-refs)) (define term-fn (refs-to-fn termpat-refs))
(λ (nv) (λ (nv)
(define ctx (ctx-fn nv)) (define ctx (ctx-fn nv))
(define term (term-fn term)) (define term (term-fn nv))
(plug-hole ctx term))] (plug-hole ctx term))]
[(hide-hole p) [(hide-hole p)
(define p-fn (refs-to-fn p)) (define p-fn (refs-to-fn p))

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

@ -157,6 +157,8 @@
(try-it 100 Holes i2) (try-it 100 Holes i2)
(try-it 1 Holes hole) (try-it 1 Holes hole)
(try-it 100 Holes (in-hole hole number)) (try-it 100 Holes (in-hole hole number))
(try-it 100 Holes (in-hole (cons hole boolean) (cons number string)))
(try-it 100 Holes (in-hole (cons hole number_1) number_1))
;; Cross test ;; Cross test
(define-language CrossLang (define-language CrossLang