Difference between revisions of "EiffelStudio 15.12 Releases"
m (→Bug fixes: Added a note about fixing test#attach049.) |
m (→Bug fixes: Added a note on fixing test#attach114.) |
||
| Line 44: | Line 44: | ||
*compiler: Made code analysis preference names and associated command-line options locale-independent. | *compiler: Made code analysis preference names and associated command-line options locale-independent. | ||
*compiler: Fixed generation of debugger breakpoint positions for tuple field assignment that was broken by the previous release. | *compiler: Fixed generation of debugger breakpoint positions for tuple field assignment that was broken by the previous release. | ||
| − | *compiler: test#attach049 - Fixed a bug that caused incorrect identification of certified attachment patterns when target of Boolean operators like <e>and</e> and <e>or</e> is not of a Boolean type and therefore should not be taken into account when detecting CAPs. | + | *compiler: test#attach049 - Fixed a bug that caused incorrect identification of certified attachment patterns (CAP) when target of Boolean operators like <e>and</e> and <e>or</e> is not of a Boolean type and therefore should not be taken into account when detecting CAPs. |
| + | *compiler: test#attach114 - Fixed a bug that could lead to a feature call on void target if parenthesis alias calls were used in a creation procedure. | ||
===User changes=== | ===User changes=== | ||
Revision as of 06:01, 25 November 2015
Below are not the release notes of EiffelStudio. It is the change log of EiffelStudio intermediate releases and the most important changes are highlighted in green or in red (for breaking changes). The release notes of EiffelStudio can be found at the following URL. You can also download the latest revision here. Information about other version can be found under Category:Releases.
EiffelStudio 15.11.x Releases
Beta download: https://ftp.eiffel.com/pub/beta/15.11/
15.11.x.x
New features
- compiler - Supported tuple type unfolding that allows to avoid explicit nested tuple type declarations when there is only one formal generic type that is constrained to a
TUPLEtype. For example, for the class
FOO [X, T -> TUPLE, Y]
the type declarations
FOO [A, TUPLE [B, C], D] FOO [A, TUPLE [B, C, E], D]
can be written as
FOO [A, B, C, D] FOO [A, B, C, E, D]
Improvements
- compiler: test#scoop074 - Propagated controlled status of an object test expression to an associated object test local to avoid unnecessary wrapping for this local.
- compiler: bug#19147 - Provided new configuration options are "workbench_c_basket_limit" and "finalized_c_basket_limit" that can be used in ".../studio/eifinit/general.cfg" to specify maximum limits of C files that can be generated in one directory in workbench and finalized modes respectively for the cases when C compilation fails because of too large C files.
- compiler, library, runtime - Removed the first parameter in
ROUTINEfamily classes (PROCEDURE,PREDICATE,FUNCTION). Combined with tuple unfolding, the following type declarations:
PROCEDURE [A, TUPLE [B, C]] FUNCTION [A, TUPLE [B, C], D]
are written now as
PROCEDURE [B, C] FUNCTION [B, C, D]
- EiffelStudio: Added a configuration file
code_analysis.xmlfor default settings of Eiffel Inspector.
Feature removed
Bug fixes
- compiler: test#scoop075 - Fixed a code generation bug in finalized mode for separate feature calls that involve values of a pointer type.
- compiler: bug#19120 (test#tuple019) - Fixed a bug that caused a compiler exception when a non-conforming value was assigned to a tuple field.
- compiler: Made code analysis preference names and associated command-line options locale-independent.
- compiler: Fixed generation of debugger breakpoint positions for tuple field assignment that was broken by the previous release.
- compiler: test#attach049 - Fixed a bug that caused incorrect identification of certified attachment patterns (CAP) when target of Boolean operators like
andandoris not of a Boolean type and therefore should not be taken into account when detecting CAPs. - compiler: test#attach114 - Fixed a bug that could lead to a feature call on void target if parenthesis alias calls were used in a creation procedure.
User changes
- compiler: Changed option names of code analysis rules.
- compiler: Used the same convention for threshold values of all code analysis rules: now the threshold value is included in the range of allowed values.
