sys-proclaim (Was Re: [Maxima] Testsuite errors in CVS maxima)

>>>>> "David" == David Billinghurst <Billinghurst> writes:

    David> Doesn't work for me.  I tried it a couple of times but I still see:

    David> ;    - Compiling module "definite-integration" 
    David> ;      - Compiling source file "/usr/local/src/maxima/src/defint.lisp" 
    David> Compiling /usr/local/src/maxima/src/defint.lisp.
    David> End of Pass 1.  
    David> ; (DEFUN BATA0) is being compiled.
    David> ;; Warning: Trying to return multiple values. 
    David> ;But BATA0 was proclaimed to have single value.

This seems to indicate that your sys-proclaim still has the wrong
stuff in it.  Did make sys-proclaim do anything?

In my new sys-proclaim, the entry for bata0 says something like

(PROCLAIM
    '(FTYPE (FUNCTION (T) *) ...
    MAXIMA::BATA0 ...
)

It used to be (function (t) t). 

But you can probably just use the original sys-proclaim and remove the
entry for bata0.  That ought to work.  If it doesn't, then there's
something else going on.

Ray