New if rule from simplify branch

This commit is contained in:
Paul deGrandis 2012-03-19 18:11:09 -04:00
parent 0cb58d7e2c
commit 6c75016955

View file

@ -8,6 +8,7 @@
[(if (not ?x) ?y ?z) (if-not ?x ?y ?z)]
[(when (not ?x) . ?y) (when-not ?x . ?y)]
[(if true ?x ?y) ?x]
[(if true ?x) ?x]
[(when true . ?x) (do . ?x)]
[(do ?x) ?x]
[(when-not true ?x) "removing this dead code"]