segmentation fault with Maxima/ECL
- Subject: segmentation fault with Maxima/ECL
- From: Oliver Kullmann
- Date: Tue, 16 Sep 2008 17:50:27 +0100
alright, that worked --- thanks!
Oliver
On Sat, Sep 13, 2008 at 11:32:30AM -0600, Robert Dodier wrote:
> On 9/13/08, Oliver Kullmann <O.Kullmann at swansea.ac.uk> wrote:
>
> > batching /home/csoliver/SAT-Algorithmen/OKplatform/Unless.mac
> > (%i2)
> >
> > *** - CAR: $FOUND is not a list
>
> I've committed r1.37 src/grind.lisp to fix this problem as shown below.
>
> HTH
>
> Robert
>
> PS.
> diff -u -r1.36 grind.lisp
> --- src/grind.lisp 27 Jul 2008 07:04:09 -0000 1.36
> +++ src/grind.lisp 13 Sep 2008 17:22:32 -0000
> @@ -523,7 +523,7 @@
> ((fifth x) `($next ,(fifth x))))
> (cond ((sixth x) `($thru ,(sixth x))))
> (cond ((null (seventh x)) nil)
> - ((eq 'mnot (caar (seventh x)))
> + ((and (consp (seventh x)) (eq 'mnot (caar (seventh x))))
> `($while ,(cadr (seventh x))))
> (t `($unless ,(seventh x))))
> `($do ,(eighth x))))
> @@ -532,7 +532,7 @@
> (nconc `($for ,(second x) $in ,(third x))
> (cond ((sixth x) `($thru ,(sixth x))))
> (cond ((null (seventh x)) nil)
> - ((eq 'mnot (caar (seventh x)))
> + ((and (consp (seventh x)) (eq 'mnot (caar (seventh x))))
> `($while ,(cadr (seventh x))))
> (t `($unless ,(seventh x))))
> `($do ,(eighth x))))