summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWei Tang <i@null.tl>2015-09-09 12:27:55 +0800
committerWei Tang <i@null.tl>2015-09-09 12:27:55 +0800
commit0272856fd59cc370243daa5aa0cf7dee38491da5 (patch)
treea204ff92cdb193bd5e31de6f6544ff027a42f929
parent554923db3ba8fc739b67892b32130660ac2c554e (diff)
downloadmm-0272856fd59cc370243daa5aa0cf7dee38491da5.tar.gz
mm-0272856fd59cc370243daa5aa0cf7dee38491da5.tar.bz2
Fix disj: if all conditions are false, return #f instead of fail
-rw-r--r--mm.rkt2
1 files changed, 1 insertions, 1 deletions
diff --git a/mm.rkt b/mm.rkt
index 2ad06bf..2c19ed9 100644
--- a/mm.rkt
+++ b/mm.rkt
@@ -319,7 +319,7 @@
((predicatifyo s2 pattern-assoc parent fresh-next
fresh-next-out t2 o2)))
(conde
- ((== t1 #f) (== t2 #f) (== #t #f))
+ ((== t1 #f) (== t2 #f) (== out #f))
((=/= t1 #f) (== t2 #f) (== out t1))
((== t1 #f) (=/= t2 #f) (== out t2))
((=/= t1 #f) (=/= t2 #f) (conde ((== out t1)) ((== out t2)))))))