[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Help with JET
From: |
root |
Subject: |
Re: [Axiom-developer] Help with JET |
Date: |
Sat, 11 Feb 2006 14:12:35 -0500 |
fixed in the next release
===========================================================
>
> >
> > 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))'.
> >
>
> I presume that this would only affect Aldor code when run
> inside Axiom, right?
- [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- Re: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/09
- Re: [Axiom-developer] Help with JET, root, 2006/02/09
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- Re: [Axiom-developer] Help with JET,
root <=
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/13
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/13
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/11
[Axiom-developer] non extending category, Bill Page, 2006/02/10