[Ecls-list] Some latest changes

[Juan Jose Garcia-Ripoll]

* MAKE-PATHNAME reimplemented to ensure that :CASE is only applied to the
user arguments.

* NAMESTRING will refuse to produce a string when :NAME is nil and :TYPE is
not. The reason is ".txt" = (make-pathname :name ".txt" :type nil)

* The implementation of "compiler optimization flags" had to be redone,
because switching on and off flags did not work as expected.

* Proclamations are also used to deduce the type of a function's arguments
and create argument type checks.

* Feature :C++ is exported when using a C++ compiler

* A lot of fixes in ECL's declarations and proclamations, all of them
trivial, but which caused the compiler to complain or generated safety
checks that were not satisfied. For instance
(defun pprint-tabular (... &optional ... tab-size)
   (declare (unsigned-byte tab-size))
   ...)
caused PPRINT-TABULAR to fail.

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20100628/20612f4c/attachment.html>