diff options
Diffstat (limited to 'src/interp/br-util.boot')
| -rw-r--r-- | src/interp/br-util.boot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/interp/br-util.boot b/src/interp/br-util.boot index 91007ac8..648c0e18 100644 --- a/src/interp/br-util.boot +++ b/src/interp/br-util.boot @@ -644,5 +644,17 @@ mySort u == listSort(function GLESSEQP,u) +quickAnd(a,b) == + a = true => b + b = true => a + a = false or b = false => false + simpBool ['AND,a,b] + +quickOr(a,b) == + a = true or b = true => true + b = false => a + a = false => b + simpCatPredicate simpBool ['OR,a,b] + |