ViewVC logotype

Revision 55790

Jump to revision: Previous Next
Author: alexk
Date: Fri Nov 18 08:16:50 2005 UTC (14 years, 2 months ago)
Changed paths: 1
Log Message:
Changed conformance tests to use a new feature `conformance_type'
because now `actual_type' can return LIKE_CURRENT due to changes
in processing of "like Current" type.
Changed signature of `instantiated_in' to accept LIKE_CURRENT that can
now be used during type checking in addition to the previously used
Moved declaration of `class_id' into the class LIKE_FEATURE because it
is used only there.

Changed paths

Path Details
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/like_type_a.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23