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

added a test case to be sure that the extension's clauses come before the original clauses in an extended metafunction

Browse Source
This commit is contained in:
Robby Findler 2010-10-16 13:19:59 -05:00
parent fae28f1bb3
commit e875f262d9
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/redex/tests/tl-test.rkt
View File

@ -531,6 +531,13 @@
(test (term (g 11 17)) 11) (test (term (g 11 17)) 11)
(test (term (h 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 () (let ()
(define-metafunction empty-language (define-metafunction empty-language
[(f (number_1 number_2)) [(f (number_1 number_2))