Fix many/e enum bug (probably impossible to observe at redex level)

2014-03-21 23:42:52 -05:00 · 2014-03-21 23:42:52 -05:00 · 31469441dc
commit 31469441dc
parent 3abb14a63e
2 changed files with 6 additions and 1 deletions
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
@ -785,7 +785,7 @@
    [(e)
     (define fix-size
       (if (= 0 (size e))
-           0
+           1
           +inf.0))
     (fix/e fix-size
            (λ (self)
--- a/pkgs/redex-pkgs/redex-test/redex/tests/enumerator-test.rkt
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/enumerator-test.rkt
@ -419,3 +419,8 @@
  (many/e nats/e))
 (check-bijection? natss)

+(define emptys/e
+  (many/e empty/e))
+(check-equal? (decode emptys/e 0) '())
+(check-bijection? emptys/e)
+