[Maxima-discuss] testsuite in ecl

[Dan Gildea]

Is this a bug in ecl?

% cat test.lisp

(defvar v1 nil)

(defun run-test ()
  (let ((share_t)
	(fst 'a))
    (format t "fst ~S~%" fst)
    (multiple-value-bind (v1 fst)
	(case share_t
	  ((nil)
	   (values v1 fst)))
      (format t "fst ~S~%" fst))))
% ecl
ECL (Embeddable Common-Lisp) 16.1.2 (git:UNKNOWN)
Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya
Copyright (C) 1993 Giuseppe Attardi
Copyright (C) 2000 Juan J. Garcia-Ripoll
Copyright (C) 2015 Daniel Kochmanski
ECL is free software, and you are welcome to redistribute it
under certain conditions; see file 'Copyright' for details.
Type :h for Help.  
Top level in: #<process TOP-LEVEL>.
> (compile-file "test.lisp")

;;; Loading #P"/u/gildea/lib/ecl-16.1.2/cmp.fas"
;;;
;;; Compiling test.lisp.
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; Compiling (DEFVAR V1 ...).
;;; Compiling (DEFUN RUN-TEST ...).
;;; End of Pass 1.
;;; Emitting code for RUN-TEST.
;;; Finished compiling test.lisp.
;;;
#P"/tmp/test.fas"
NIL
NIL
> (load "test.fas")

;;; Loading "/tmp/test.fas"
#P"/tmp/test.fas"
> (run-test)
fst A
fst NIL
NIL
> (run-test)
fst A
fst A
NIL
> 




On Tue, March 15, 2016 at 12:15AM, Robert Dodier wrote:
> On 2016-03-14, Dan Gildea <dgildea at users.sourceforge.net> wrote:
> 
> > The testsuite is not working at all for me with ecl.
> > It seems to be a problem with the multiple-value-bind in run-testsuite.
> 
> When I try run_testsuite(), every test fails with "Caused an error
> break".
> 
> After load(mload), then run_testsuite() works OK. This makes me think
> it's a difference between compiled and interpreted code -- i.e. a bug in
> ECL's compiler. 
> 
> I'm working with ECL 16.1.2 at the moment. At some point in the
> not-too-distant past, run_testsuite() did work. I don't know if the
> current behavior is a result of a change in ECL or in Maxima.
> I guess that MULTIPLE-VALUE-BIND is a recent change in src/mload.lisp so
> maybe it is now tickling a bug that existed before. Dunno for sure.
> 
> best
> 
> Robert Dodier