projects
/
darcs-mirror-polyfix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
60d5a0a
)
Remove foralls with empty variable list
author
Joachim Breitner
<mail@joachim-breitner.de>
Wed, 12 Nov 2008 11:42:13 +0000
(11:42 +0000)
committer
Joachim Breitner
<mail@joachim-breitner.de>
Wed, 12 Nov 2008 11:42:13 +0000
(11:42 +0000)
Expr.hs
patch
|
blob
|
history
diff --git
a/Expr.hs
b/Expr.hs
index
5ecfa48
..
802831b
100644
(file)
--- a/
Expr.hs
+++ b/
Expr.hs
@@
-178,9
+178,8
@@
beTrue = And []
-- | Optimize a forall condition
condition :: [TypedExpr] -> BoolExpr -> BoolExpr -> BoolExpr
--- empty condition
-condition [] cond concl | cond == beTrue
- = concl
+-- empty variable list
+condition [] cond concl = concl
-- float out conditions on the right
condition vars cond (Condition vars' cond' concl')
= condition (vars ++ vars') (cond `aand` cond') concl'