Author:manus

Date:2010-12-15T23:03:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@716 abb3cda0-5349-4a8f-a601-0c33ac3a8c38

documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-66-and-ise-eiffel-67.wiki

@@ -22,10 +22,14 @@
 * Fixed various issues related to once per object: test#once001, test#once002, test#once003, test#once004, test#once005, test#once006, test#once007, test#once008, test#once009, test#once010, test#once011, test#incr366, test#incr376, test#incr384.
 * Fixed various incrementality bugs: test#incr295 test#incr302 test#incr307 test#incr309 test#incr324 test#incr331 test#incr332 test#incr346 test#incr372 test#incr373 test#incr374. 
 * Fixed eweasel test#exec327 where evaluation an assertion the code being executed encounter the new check ... then ... end instruction it would reset some internal flags causing assertion within assertions to be checked when they should not.
+* Fixed eweasel test#valid243, test#svalid028, test#svalid029, test#tuple004, test#freez032 and test#multicon058. The issue was that when we performed the type checking of inherited routines using prefix/infix we were not using the new name of the prefix/infix operator but still the old one. Thus if it was renamed it would cause a spurious compilation error instead of accepting the code.
 
 ===Runtime/code generation issues===
 * When running an Eiffel system on Windows without assertion monitoring and you try to write a file that is not yet open, it will trigger an exception instead of silently exiting.
 * Fixed eweasel test#thread016 where we forget to protect arguments used for catcall checking.
+* Fixed building of shared libraries of CECIL system which failed on Windows.
+* Fixed eweasel test#ccomp085 where compiler ensures that the order of includes of an Eiffel external is respected at compile time.
+* Fixed eweasel test#exec326 by properly generating the REAL_32 values for {REAL_32}.min_value and {REAL_32}.max_value.
 
 ===Store/Retrieve issues===
 * Prevented the C storable to block all threads while waiting from data to be read in retrieved. Now we would wait for the storable type first before blocking all the other runtime threads. This fixes bug#16859.

documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-67.wiki

@@ -6,8 +6,8 @@
 
 ===What's new===
 ===Improvements===
-* Allowed to filter C compiler warnings in the Error and Warning tool.
-* Accept license.lic and licence.lic as a way to perform automatic licensing during saving.
+* Allows filtering of C compiler warnings in the Error and Warning tool.
+* Accepts "license.lic" and "licence.lic" as a way to perform automatic licensing during saving.
 * Added filter functionality to the "Add Library" dialog.
 * Added a new XML (lite) library which is void-safe without Unicode support.
 
@@ -22,8 +22,6 @@
 ==Compiler==
 * Click [[Major changes between ISE Eiffel 6.6 and ISE Eiffel 6.7|here]]  for the compiler release notes.
 
-== AutoTest==
-
 ==Debugger==
 * Click [[Release notes for EiffelStudio 6.7 related to the debugger|here]]  for the EiffelStudio debugger release notes.
 
@@ -34,13 +32,13 @@
 
 ===EiffelBase===
 * <e>ARRAY</e>:
-** Made <e>{ARRAY}.make</e> and <e>{ARRAY}.conservative_resize</e> obsolete as they are not void safe. Instead use <e>{ARRAY}.make_empty</e>, <e>{ARRAY}.make_filled</e> or <e>{ARRAY}.conservative_resize_with_default</e>.
+** Made <e>{ARRAY}.make</e> and <e>{ARRAY}.conservative_resize</e> obsolete as they are not void safe. Alternative recommendation is to use <e>{ARRAY}.make_empty</e>, <e>{ARRAY}.make_filled</e> or <e>{ARRAY}.conservative_resize_with_default</e>.
 ** Added <e>{ARRAY}.rebase</e> that would help creating an empty array with a given `lower'. 
-** Rewrote <e>BOUNDED_QUEUE</e> and <e>BOUNDED_STACK</e> to use the same implementation of <e>ARRAYED_QUEUE</e> and <e>ARRAYED_STACK</e>, the only difference is that `extendible' is defined to be False. The `correct_mismatch' feature has been updated to ensure retrieval.
+** <e>BOUNDED_QUEUE</e> and <e>BOUNDED_STACK</e> have been rewritten to use the same implementation of <e>ARRAYED_QUEUE</e> and <e>ARRAYED_STACK</e>, the only difference is that `extendible' is defined to be False. The `correct_mismatch' feature has been updated to ensure retrieval.
 * <e>FORMAT_DOUBLE</e>:
-** Fixed eweasel test#lib036 in <e>FORMAT_DOUBLE</e>where `pad_fraction' did not process properly when one decided to not show the trailing zeros and there were only zeros after the decimal point.
+** Fixed eweasel test#lib036 in <e>FORMAT_DOUBLE</e> where `pad_fraction' did not process properly when one decided to not show the trailing zeros and there were only zeros after the decimal point.
 ** Fixed the post-condition of <e>{FORMAT_DOUBLE}.pad_fraction</e> to reflect that the count is set to `decimals' but only when one shows the trailing zeros.
-* Added <e>WEAK_REFERENCE</e> to allow weak references in an Eiffel system. This supersedes the <e>IDENTIFIED</e> class which required to change your code to allow weak referencing. Currently the class is only implemented for classic Eiffel, it is not available when compiling for .NET. 
+* Added <e>WEAK_REFERENCE</e> to allow weak references in an Eiffel system. This supersedes the <e>IDENTIFIED</e> class which made it necessary to change one's code to allow weak referencing. Currently the class is only implemented for classic Eiffel; it is not available when compiling for .NET. 
 * Added new Eiffel tracing facility classes <e>TRACING_HANDLER</e> and <e>TRACING_SETTING</e> which let you capture some information about the current execution via callbacks.
 * Fixed eweasel test#list010 with twinning and deep_twinning of a <e>FIXED_LIST</e> that would reset `capacity' to `count'.
 * Added <e>{TYPE}.is_expanded</e> to find out if a type is expanded or not.

documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki

@@ -1,6 +1,9 @@
 [[Property:title|EiffelBuild Version History]]
 [[Property:weight|2]]
 [[Property:uuid|8cc0540e-8ee7-c005-0534-a2ed62f41c96]]
+==6.7 Release==
+Updated the generated code to the latest Eiffel syntax as specified by ECMA.
+
 ==6.6 Release==
 No changes.