EiffelStudio 17.01 Releases

Revision as of 23:42, 8 July 2016 by Manus (Talk | contribs) (16.11.x.x)

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 16.11.x Releases

Beta download: https://ftp.eiffel.com/pub/beta/16.11/


New features


  • EiffelStudio: Configuration option "Are types attached by default?" defaults to True when reading non-void-safe projects so that if the project is changed to be void-safe, the recommended default for attachment status of class types without marks is used.
  • compiler: Supported nested inlining of a selected set of features from SPECIAL in finalized mode: base_address, clear_all, copy_data, count, item, overlapping_move, non_overlapping_move, put.
  • compiler: Fix crash in melted code when calling {TYPE}.is_attached, {TYPE}.is_expanded.
  • Library (Base): Add ability to change the start position when storing/retrieving using a SED_MEMORY_READER_WRITER.
  • Library (Base): Add {TYPE}.is_deferred and use this in {REFLECTOR}.new_instance_of to avoid creating abstract type at runtime.
  • Library (Base}: Refactored RT_DEBUGGER with breaking changes: rt_worbench_for_for_debugger renamed into wait_for_debugger and discard_debug into disable_debug.

Feature removed

  • EiffelStudio: Removed option "Are types attached by default?" from project settings dialog. Potential incompatibility: old Eiffel configuration files (ECF) that rely on "class types are detachable by default" policy and migrate to "attached by default" policy will need to be changed directly by editing the file, not from EiffelStudio.

Bug fixes

  • runtime: Fixed a bug in the CECIL macro eif_attribute_type that always returned EIF_POINTER_TYPE instead of the type code corresponding to the actual attribute type.
  • Library (Net): Properly handle `BCC` recipients by really hiding them.
  • compiler: Fix C compilation errors when using the profiler in final mode on strict C compilers (fix bug#19193 and eweasel test#final16, test#ccomp070)

User changes

  • library: Marked {ANY}.as_attached as obsolete to simplify removal of calls to it when transition to void-safe code is finished.

Developer changes