[open-axiom-commit] SF.net SVN: open-axiom:[2760] trunk/src

[<dos...@us...>]

Revision: 2760
          http://open-axiom.svn.sourceforge.net/open-axiom/?rev=2760&view=rev
Author:   dos-reis
Date:     2012-08-20 06:35:08 +0000 (Mon, 20 Aug 2012)
Log Message:
-----------
	* interp/i-coerfn.boot: Do not import i-coerce.  Import i-analy
	and i-resolv intead.
	($CoerceTable): Fix embarrassing thinko.
	* interp/i-coerce.boot: Import i-coerfn.
	(coerceIntTableOrFunction): Tidy.
	* boot/utility.boot (objectAssoc): Tidy.

Modified Paths:
--------------
    1.4.x/src/ChangeLog
    1.4.x/src/boot/utility.boot
    1.4.x/src/interp/Makefile.in
    1.4.x/src/interp/i-coerce.boot
    1.4.x/src/interp/i-coerfn.boot
    trunk/src/ChangeLog
    trunk/src/boot/utility.boot
    trunk/src/interp/Makefile.in
    trunk/src/interp/i-coerce.boot
    trunk/src/interp/i-coerfn.boot

Modified: 1.4.x/src/ChangeLog
===================================================================
--- 1.4.x/src/ChangeLog	2012-08-20 04:31:04 UTC (rev 2759)
+++ 1.4.x/src/ChangeLog	2012-08-20 06:35:08 UTC (rev 2760)
@@ -1,3 +1,12 @@
+2012-08-20  Gabriel Dos Reis  <gd...@cs...>
+
+	* interp/i-coerfn.boot: Do not import i-coerce.  Import i-analy
+	and i-resolv intead.
+	($CoerceTable): Fix embarrassing thinko.
+	* interp/i-coerce.boot: Import i-coerfn.
+	(coerceIntTableOrFunction): Tidy.
+	* boot/utility.boot (objectAssoc): Tidy.
+
 2012-08-19  Gabriel Dos Reis  <gd...@cs...>
 
 	* interp/util.lisp (BUILD-INTERPSYS): loadDelayedFFI early.

Modified: 1.4.x/src/boot/utility.boot
===================================================================
--- 1.4.x/src/boot/utility.boot	2012-08-20 04:31:04 UTC (rev 2759)
+++ 1.4.x/src/boot/utility.boot	2012-08-20 06:35:08 UTC (rev 2760)
@@ -227,7 +227,7 @@
 objectAssoc(x,l) ==
   repeat
     l isnt [p,:l] => return nil
-    p is [.,:.] and sameObject?(first p,x) => return p
+    p is [.,:.] and sameObject?(x,first p) => return p
 
 --% substitution
 

Modified: 1.4.x/src/interp/Makefile.in
===================================================================
--- 1.4.x/src/interp/Makefile.in	2012-08-20 04:31:04 UTC (rev 2759)
+++ 1.4.x/src/interp/Makefile.in	2012-08-20 06:35:08 UTC (rev 2760)
@@ -92,7 +92,7 @@
 	g-error.$(FASLEXT)	ggreater.$(FASLEXT)	\
 	hypertex.$(FASLEXT)	i-object.$(FASLEXT)	\
 	i-analy.$(FASLEXT)	i-resolv.$(FASLEXT)	\
-	i-coerce.$(FASLEXT)	i-coerfn.$(FASLEXT)	\
+	i-coerfn.$(FASLEXT)	i-coerce.$(FASLEXT)	\
 	i-eval.$(FASLEXT)	i-funsel.$(FASLEXT)	\
 	i-intern.$(FASLEXT)	i-map.$(FASLEXT)	\
 	i-output.$(FASLEXT)	i-special.$(FASLEXT)	\
@@ -291,8 +291,8 @@
 i-funsel.$(FASLEXT): i-coerfn.$(FASLEXT)
 i-map.$(FASLEXT): i-object.$(FASLEXT)
 i-eval.$(FASLEXT): i-analy.$(FASLEXT)
-i-coerfn.$(FASLEXT): i-coerce.$(FASLEXT)
-i-coerce.$(FASLEXT): i-analy.$(FASLEXT) i-resolv.$(FASLEXT)
+i-coerce.$(FASLEXT): i-coerfn.$(FASLEXT)
+i-coerfn.$(FASLEXT): i-analy.$(FASLEXT) i-resolv.$(FASLEXT)
 i-resolv.$(FASLEXT): i-object.$(FASLEXT)
 i-analy.$(FASLEXT): i-object.$(FASLEXT)
 i-intern.$(FASLEXT): i-object.$(FASLEXT) ptrees.$(FASLEXT)

Modified: 1.4.x/src/interp/i-coerce.boot
===================================================================
--- 1.4.x/src/interp/i-coerce.boot	2012-08-20 04:31:04 UTC (rev 2759)
+++ 1.4.x/src/interp/i-coerce.boot	2012-08-20 06:35:08 UTC (rev 2760)
@@ -32,8 +32,7 @@
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 
-import i_-analy
-import i_-resolv
+import i_-coerfn
 namespace BOOT
 
 $useCoerceOrCroak := true
@@ -1133,13 +1132,13 @@
   null isValidType t2 => nil  -- added 9-18-85 by RSS
   null isLegitimateMode(t2,nil,nil) => nil  -- added 6-28-87 by RSS
   t1 := objMode triple
-  p := objectAssoc(first t1,$CoerceTable)
-  p and objectAssoc(first t2,rest p) is [.,:[tag,fun]] =>
+  p := symbolAssoc(first t1,$CoerceTable)
+  p and symbolTarget(first t2,rest p) is [tag,fun] =>
     val := objVal triple
     fun='Identity => objNew(val,t2)
     tag='total =>
-      coerceByTable(fun,val,t1,t2,'T) or coerceByFunction(triple,t2)
-    coerceByTable(fun,val,t1,t2,nil) or coerceByFunction(triple,t2)
+      coerceByTable(fun,val,t1,t2,true) or coerceByFunction(triple,t2)
+    coerceByTable(fun,val,t1,t2,false) or coerceByFunction(triple,t2)
   coerceByFunction(triple,t2)
 
 coerceCommuteTest(t1,t2) ==

Modified: 1.4.x/src/interp/i-coerfn.boot
===================================================================
--- 1.4.x/src/interp/i-coerfn.boot	2012-08-20 04:31:04 UTC (rev 2759)
+++ 1.4.x/src/interp/i-coerfn.boot	2012-08-20 06:35:08 UTC (rev 2760)
@@ -32,7 +32,8 @@
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 
-import i_-coerce
+import i_-analy
+import i_-resolv
 namespace BOOT
 
 $coerceFailure := gensym()
@@ -1976,9 +1977,7 @@
     (Tuple                                indeterm   L2Tuple) _
     (Vector                               indeterm   L2V) _
     ))_
-  )
 
-$CoerceTable == append!($CoerceTable,'( _
   (Matrix . ( _
     (List                                 indeterm   M2L) _
     (RectangularMatrix                    partial    M2Rm) _
@@ -2099,7 +2098,7 @@
     (SquareMatrix                         indeterm   V2Sm) _
     (Stream                               indeterm   Agg2Agg) _
     ) ) _
-  ) )
+  )
 
 -- this list is too long for the parser, so it has to be split into parts
 -- specifies the commute functions

Modified: trunk/src/ChangeLog
===================================================================
--- trunk/src/ChangeLog	2012-08-20 04:31:04 UTC (rev 2759)
+++ trunk/src/ChangeLog	2012-08-20 06:35:08 UTC (rev 2760)
@@ -1,3 +1,12 @@
+2012-08-20  Gabriel Dos Reis  <gd...@cs...>
+
+	* interp/i-coerfn.boot: Do not import i-coerce.  Import i-analy
+	and i-resolv intead.
+	($CoerceTable): Fix embarrassing thinko.
+	* interp/i-coerce.boot: Import i-coerfn.
+	(coerceIntTableOrFunction): Tidy.
+	* boot/utility.boot (objectAssoc): Tidy.
+
 2012-08-19  Gabriel Dos Reis  <gd...@cs...>
 
 	* interp/util.lisp (BUILD-INTERPSYS): loadDelayedFFI early.

Modified: trunk/src/boot/utility.boot
===================================================================
--- trunk/src/boot/utility.boot	2012-08-20 04:31:04 UTC (rev 2759)
+++ trunk/src/boot/utility.boot	2012-08-20 06:35:08 UTC (rev 2760)
@@ -227,7 +227,7 @@
 objectAssoc(x,l) ==
   repeat
     l isnt [p,:l] => return nil
-    p is [.,:.] and sameObject?(first p,x) => return p
+    p is [.,:.] and sameObject?(x,first p) => return p
 
 --% substitution
 

Modified: trunk/src/interp/Makefile.in
===================================================================
--- trunk/src/interp/Makefile.in	2012-08-20 04:31:04 UTC (rev 2759)
+++ trunk/src/interp/Makefile.in	2012-08-20 06:35:08 UTC (rev 2760)
@@ -92,7 +92,7 @@
 	g-error.$(FASLEXT)	ggreater.$(FASLEXT)	\
 	hypertex.$(FASLEXT)	i-object.$(FASLEXT)	\
 	i-analy.$(FASLEXT)	i-resolv.$(FASLEXT)	\
-	i-coerce.$(FASLEXT)	i-coerfn.$(FASLEXT)	\
+	i-coerfn.$(FASLEXT)	i-coerce.$(FASLEXT)	\
 	i-eval.$(FASLEXT)	i-funsel.$(FASLEXT)	\
 	i-intern.$(FASLEXT)	i-map.$(FASLEXT)	\
 	i-output.$(FASLEXT)	i-special.$(FASLEXT)	\
@@ -291,8 +291,8 @@
 i-funsel.$(FASLEXT): i-coerfn.$(FASLEXT)
 i-map.$(FASLEXT): i-object.$(FASLEXT)
 i-eval.$(FASLEXT): i-analy.$(FASLEXT)
-i-coerfn.$(FASLEXT): i-coerce.$(FASLEXT)
-i-coerce.$(FASLEXT): i-analy.$(FASLEXT) i-resolv.$(FASLEXT)
+i-coerce.$(FASLEXT): i-coerfn.$(FASLEXT)
+i-coerfn.$(FASLEXT): i-analy.$(FASLEXT) i-resolv.$(FASLEXT)
 i-resolv.$(FASLEXT): i-object.$(FASLEXT)
 i-analy.$(FASLEXT): i-object.$(FASLEXT)
 i-intern.$(FASLEXT): i-object.$(FASLEXT) ptrees.$(FASLEXT)

Modified: trunk/src/interp/i-coerce.boot
===================================================================
--- trunk/src/interp/i-coerce.boot	2012-08-20 04:31:04 UTC (rev 2759)
+++ trunk/src/interp/i-coerce.boot	2012-08-20 06:35:08 UTC (rev 2760)
@@ -32,8 +32,7 @@
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 
-import i_-analy
-import i_-resolv
+import i_-coerfn
 namespace BOOT
 
 $useCoerceOrCroak := true
@@ -1133,13 +1132,13 @@
   null isValidType t2 => nil  -- added 9-18-85 by RSS
   null isLegitimateMode(t2,nil,nil) => nil  -- added 6-28-87 by RSS
   t1 := objMode triple
-  p := objectAssoc(first t1,$CoerceTable)
-  p and objectAssoc(first t2,rest p) is [.,:[tag,fun]] =>
+  p := symbolAssoc(first t1,$CoerceTable)
+  p and symbolTarget(first t2,rest p) is [tag,fun] =>
     val := objVal triple
     fun='Identity => objNew(val,t2)
     tag='total =>
-      coerceByTable(fun,val,t1,t2,'T) or coerceByFunction(triple,t2)
-    coerceByTable(fun,val,t1,t2,nil) or coerceByFunction(triple,t2)
+      coerceByTable(fun,val,t1,t2,true) or coerceByFunction(triple,t2)
+    coerceByTable(fun,val,t1,t2,false) or coerceByFunction(triple,t2)
   coerceByFunction(triple,t2)
 
 coerceCommuteTest(t1,t2) ==

Modified: trunk/src/interp/i-coerfn.boot
===================================================================
--- trunk/src/interp/i-coerfn.boot	2012-08-20 04:31:04 UTC (rev 2759)
+++ trunk/src/interp/i-coerfn.boot	2012-08-20 06:35:08 UTC (rev 2760)
@@ -32,7 +32,8 @@
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 
-import i_-coerce
+import i_-analy
+import i_-resolv
 namespace BOOT
 
 $coerceFailure := gensym()
@@ -1976,9 +1977,7 @@
     (Tuple                                indeterm   L2Tuple) _
     (Vector                               indeterm   L2V) _
     ))_
-  )
 
-$CoerceTable == append!($CoerceTable,'( _
   (Matrix . ( _
     (List                                 indeterm   M2L) _
     (RectangularMatrix                    partial    M2Rm) _
@@ -2099,7 +2098,7 @@
     (SquareMatrix                         indeterm   V2Sm) _
     (Stream                               indeterm   Agg2Agg) _
     ) ) _
-  ) )
+  )
 
 -- this list is too long for the parser, so it has to be split into parts
 -- specifies the commute functions

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.