Hi,
I have tested JET with the December release of Axiom (downloaded the
01/25/06 at savannah) on Linux and that works correctly.
But i have found, may be, a little mistake in the file
foam_l.lisp.pamphlet
The diff from Peter Broadbery is :
------------------------------------------------------------
--- orig/src/interp/foam_l.lisp.pamphlet
+++ mod/src/interp/foam_l.lisp.pamphlet
@@ -884,8 +884,8 @@
(cond ( (or (NULL u) (NULL v)) nil)
( (and (ATOM u) (ATOM v)) (eql u v))
( (or (ATOM u) (ATOM v)) nil)
- ( (equal (length u) (length v)) (|magicEq1| u v))
- nil ))
+;; ( (equal (length u) (length v)) (|magicEq1| u v))
+ (t (eq u v))))
(defun |magicEq1| (u v)
(cond ( (and (atom u) (atom v)) (|politicallySound| u v))
------------------------------------------------------------
and the content of foam_l.lisp.pamphlet is:
------------------------------------------------------------
(cond ( (or (NULL u) (NULL v)) nil)
( (and (ATOM u) (ATOM v)) (eql u v))
( (or (ATOM u) (ATOM v)) nil)
;; removed for Aldor integration
;; ( (equal (length u) (length v)) (|magicEq1| u v))
nil ))
(defun |magicEq1| (u v)
(cond ( (and (atom u) (atom v)) (|politicallySound| u v))
------------------------------------------------------------
There is a replacement of 'nil' by 't (eq u v))'.
Cheers,
Greg
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
