[Maxima] New ECL with better type propagator finds bug in maxima

[Barton Willis]

-----maxima-bounces at math.utexas.edu wrote: -----

>Perhaps the section of code with the wrong type has never ever been
>executed.

Our test suite & the share test suite run OK with the offending lines
commented out:

  nil)
 (t (merror "oops"))))
;;    (t
;;     (iorm *db*  ....)


Barton