Add new test for redex production sort.

Running on the previous version caused unbounded recursion.
2013-10-13 19:09:30 -05:00 · 2013-10-13 19:09:30 -05:00 · b182fe2c2c
commit b182fe2c2c
parent d0c73c12ab
1 changed files with 11 additions and 0 deletions
--- a/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
@ -101,3 +101,14 @@

 (try-it 100 NRep v)
 (try-it 100 NRep v2)
+
+;; Test production sort
+(define-language rec
+  (e (e e)
+     v)
+  (v (λ (x) e)
+     x)
+  (x variable-not-otherwise-mentioned))
+
+(try-it 100 rec e)
+(try-it 100 rec v)