From 6ecb0b765be4d94d84b548b3121701c1749eb66c Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Wed, 19 Mar 2014 12:15:53 -0500
Subject: [PATCH] Add convenience enumerator approximation function

---
 pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
index 437048f2d7..6462b6cb7c 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
@@ -38,6 +38,7 @@
          
          fail/e
          
+         approximate
          to-list
          take/e
          fold-enum
@@ -132,6 +133,10 @@
          e
          excepts))
 
+(define (approximate e n)
+  (for/list ([i (in-range n)])
+    (decode e i)))
+
 ;; to-list : enum a -> listof a
 ;; better be finite
 (define (to-list e)