From 945fe1bc748cc0f136557cad63f43ef7bc074b5c Mon Sep 17 00:00:00 2001
From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Date: Tue, 24 Jun 2008 10:40:55 -0500
Subject: [PATCH] Add combinators.short-circuit.smart

---
 .../short-circuit/smart/smart-tests.factor    | 32 +++++++++++++++++++
 .../short-circuit/smart/smart.factor          | 11 +++++++
 2 files changed, 43 insertions(+)
 create mode 100644 extra/combinators/short-circuit/smart/smart-tests.factor
 create mode 100644 extra/combinators/short-circuit/smart/smart.factor

diff --git a/extra/combinators/short-circuit/smart/smart-tests.factor b/extra/combinators/short-circuit/smart/smart-tests.factor
new file mode 100644
index 0000000000..7ec4a0e657
--- /dev/null
+++ b/extra/combinators/short-circuit/smart/smart-tests.factor
@@ -0,0 +1,32 @@
+
+USING: kernel math tools.test combinators.short-circuit.smart ;
+
+IN: combinators.short-circuit.smart.tests
+
+! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+
+: must-be-t ( in -- ) [ t ] swap unit-test ;
+: must-be-f ( in -- ) [ f ] swap unit-test ;
+
+! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+
+[       { [ 1 ] [ 2 ] [ 3 ] }          &&  3 = ] must-be-t
+[ 3     { [ 0 > ] [ odd? ] [ 2 + ] }    &&  5 = ] must-be-t
+[ 10 20 { [ + 0 > ] [ - even? ] [ + ] } && 30 = ] must-be-t
+
+[       { [ 1 ] [ f ] [ 3 ] } &&  3 = ]          must-be-f
+[ 3     { [ 0 > ] [ even? ] [ 2 + ] } && ]       must-be-f
+[ 10 20 { [ + 0 > ] [ - odd? ] [ + ] } && 30 = ] must-be-f
+
+! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+
+[ { [ 10 0 < ] [ f ] [ "factor" ] } || "factor" = ] must-be-t
+
+[ 10 { [ odd? ] [ 100 > ] [ 1 + ] } || 11 = ]       must-be-t
+
+[ 10 20 { [ + odd? ] [ + 100 > ] [ + ] } || 30 = ]  must-be-t
+
+[ { [ 10 0 < ] [ f ] [ 0 1 = ] } || ] must-be-f
+
+! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+
diff --git a/extra/combinators/short-circuit/smart/smart.factor b/extra/combinators/short-circuit/smart/smart.factor
new file mode 100644
index 0000000000..2cef957a6f
--- /dev/null
+++ b/extra/combinators/short-circuit/smart/smart.factor
@@ -0,0 +1,11 @@
+
+USING: kernel sequences math inference accessors macros
+       combinators.short-circuit ;
+
+IN: combinators.short-circuit.smart
+
+MACRO: && ( quots -- quot )
+  dup first infer [ in>> ] [ out>> ] bi - 1+ n&&-rewrite ;
+
+MACRO: || ( quots -- quot )
+  dup first infer [ in>> ] [ out>> ] bi - 1+ n||-rewrite ;