mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2026-04-04 00:59:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2009-06-17T13:11:28.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@241 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
alexk
2009-06-17 13:13:11 +00:00
parent 60a516d252
commit 5e8033609c
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-63-and-ise-eiffel-64.wiki
View File

@@ -25,18 +25,18 @@ a: detachable MY_TYPE note option: stable attribute end
==Changes==
* Ensured that particular options specified in a library cannot be overridden in a project, because they apply to the source code (e.g., specify a variant of a syntax) rather than to the code generation (e.g., specify which assertions have to be monitored).
* We have removed usage of infix/prefix in most of the libraries. To make the transition smooth for our users, we have added a compatibility option that allows existing code using the infix/prefix notation to still compile.
* Taken into account attachment status of formal generic constraints when checking conformance and detecting VUTA errors when target type is a formal generic. '''Important''': default attachment status of the constraints follows the "attached-by-default" setting, so the code might need to be updated by adding a detachable mark in front of the formal generic constraints if the actual generic parameters can be detachable types.
* The compiler does not produce the class progress output in batch mode. If you want the old behavior, you have to use '''-verbose''' option.
* Fixed incorrect display of NATURAL_32 attributes when calling `out' (fixes eweasel test#exec298 and bug#13862.
* Removed usage of infix/prefix in most of the libraries. To ease transition, added a compatibility option that allows existing code using the infix/prefix notation to continue to compile.
* Attachment status of formal generic constraints are now taken into account when checking conformance and detecting VUTA errors when target type is a formal generic. '''Important''': default attachment status of the constraints follows the "attached-by-default" setting, so the code might need to be updated by adding a detachable mark in front of the formal generic constraints if the actual generic parameters can be detachable types.
* The compiler does not produce the class progress output in batch mode. The old behavior is available by using the '''-verbose''' option.
* Fixed incorrect display of NATURAL_32 attributes when calling `out' (fixes eweasel test#exec298 and bug#13862.)
==Bug fixes==
===Language issues===
* Renamed VUPR errors to their ECMA name VDPR.
* Better explanation for VDPR(3) errors when two or more precursor are available by listing all the precursors.
* Better explanation for VDPR(3) errors when two or more precursors are available, by listing all the precursors.
* Non-void arguments are now detected not only when they are specified in the voidness tests in immediate preconditions, but also in inherited ones.
* Fixed missing detection of VRFT errors in cases like "a: TUPLE [a: TUPLE [out: INTEGER]]".
* Fixed missing detection of VRFT errors in cases like "<eiffel>a: TUPLE [a: TUPLE [out: INTEGER]]</eiffel>".
===Compiler issues===
* Incremented ECF XML schema version to reflect the recent changes.

2
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
View File

@@ -295,7 +295,7 @@ y := "{
| <code>0xFF</code>
| No
| Yes
| Hexadecimal integers
| Yes
|-
| Integer with intermediate underscores
| <code>1_000 0xFFFF_0000</code>