Re: [Axiom-developer] Help with JET

[root]

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?