summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWei Tang <i@null.tl>2015-09-09 12:24:40 +0800
committerWei Tang <i@null.tl>2015-09-09 12:24:40 +0800
commit266c0a4758f47ab3ae039aac974644a48c049e8e (patch)
tree11495375c40bb891f836a9cb7f147ef6dbbbbdef
parentff448ccb077429c227252c1f072993a6ab4b7d3d (diff)
downloadmm-266c0a4758f47ab3ae039aac974644a48c049e8e.tar.gz
mm-266c0a4758f47ab3ae039aac974644a48c049e8e.tar.bz2
Make zip accept only equal-length lists
-rw-r--r--mm.rkt2
1 files changed, 1 insertions, 1 deletions
diff --git a/mm.rkt b/mm.rkt
index 1e2b2b8..be83911 100644
--- a/mm.rkt
+++ b/mm.rkt
@@ -196,7 +196,7 @@
(define zipo
(lambda (a b out)
(conde
- ((== '() a) (== '() out))
+ ((== '() a) (== '() b) (== '() out))
((fresh (af ar bf br outf outr)
(== `(,af . ,ar) a)
(== `(,bf . ,br) b)