From a2021fa6343ab84c8cfed5dd22737405ec2eb57f Mon Sep 17 00:00:00 2001 From: Max New Date: Mon, 18 Nov 2013 21:12:19 -0600 Subject: [PATCH] Fix in-hole enum bug and add test case --- pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt | 2 +- pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt index 58f5f145ad..933a02d7e7 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt @@ -215,7 +215,7 @@ (define term-fn (refs-to-fn termpat-refs)) (λ (nv) (define ctx (ctx-fn nv)) - (define term (term-fn term)) + (define term (term-fn nv)) (plug-hole ctx term))] [(hide-hole p) (define p-fn (refs-to-fn p)) diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt index 8f08eb1f04..d62cfe0663 100644 --- a/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt +++ b/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt @@ -157,6 +157,8 @@ (try-it 100 Holes i2) (try-it 1 Holes hole) (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 (define-language CrossLang