From f610d111d476e3ce5b51e5bcb543d36bae1680a1 Mon Sep 17 00:00:00 2001 From: zaoqi Date: Wed, 30 Aug 2017 16:40:58 +0800 Subject: [PATCH] un --- zk.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/zk.rkt b/zk.rkt index a171ad1..162c734 100644 --- 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)