From b182fe2c2c88ad1688af985851557bf499868617 Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Sun, 13 Oct 2013 19:09:30 -0500
Subject: [PATCH] Add new test for redex production sort.

Running on the previous version caused unbounded recursion.
---
 pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt | 11 +++++++++++
 1 file changed, 11 insertions(+)

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 faf5487866..1de8a12751 100644
--- 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)