From e875f262d9acab5619ca5dc63bc50ec0c9620859 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 16 Oct 2010 13:19:59 -0500 Subject: [PATCH] added a test case to be sure that the extension's clauses come before the original clauses in an extended metafunction --- collects/redex/tests/tl-test.rkt | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt index d68ced8d4f..df64b913be 100644 --- a/collects/redex/tests/tl-test.rkt +++ b/collects/redex/tests/tl-test.rkt @@ -531,6 +531,13 @@ (test (term (g 11 17)) 11) (test (term (h 11 17)) 11)) + (let () + (define-metafunction empty-language + [(f any) 1]) + (define-metafunction/extension f empty-language + [(g any) 2]) + (test (term (g 0)) 2)) + (let () (define-metafunction empty-language [(f (number_1 number_2))