From ccdea5994902e0033743abac0d402a6aa1ecac5c Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 16 Oct 2010 14:05:29 -0500 Subject: [PATCH] added a failing test case; fixing this one isn't simple, but hopefully will also lead to good performance improvements (for some models at least) --- collects/redex/tests/tl-test.rkt | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt index 8ca76607e5..f071a0c17d 100644 --- a/collects/redex/tests/tl-test.rkt +++ b/collects/redex/tests/tl-test.rkt @@ -550,6 +550,25 @@ [(g any) 2]) (test (term (g 0)) 2)) + (let () + (define-language L + (v 1 (v))) + (define-metafunction L + f : v -> v + [(f (v)) + any_1 + (where any_1 (f v))]) + + (define-extended-language M + L + (v .... 2)) + (define-metafunction/extension f M + g : v -> v + [(g 2) 2])) + +(current-traced-metafunctions 'all) +(term (g (2))) + (let () (define-metafunction empty-language [(f (number_1 number_2))