segmentation fault with Maxima/ECL
- Subject: segmentation fault with Maxima/ECL
- From: Robert Dodier
- Date: Sat, 13 Sep 2008 11:32:30 -0600
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))))