un

the-language · Aug 30, 2017 · f610d11 · f610d11
1 parent ea5bea5
commit f610d11
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/zk.rkt b/zk.rkt
@@ -54,11 +54,11 @@
 (require "id.rkt")
 (require "struct.rkt")
 
-(define-state-cleaner s
-  (let ([gs (filter-not (λ (x) (member x (state-hg s))) (remove-duplicates (state-g s)))])
-    (if (< (length gs) (length (state-g s)))
-        (state gs (state-c s) (state-hg s))
-        #f)))
+;(define-state-cleaner s
+;  (let ([gs (filter-not (λ (x) (member x (state-hg s))) (remove-duplicates (state-g s)))])
+;    (if (< (length gs) (length (state-g s)))
+;        (state gs (state-c s) (state-hg s))
+;        #f)))
 
 #| State → SizedStream State |#
 (define (pass- s)