/[eiffelstudio]
ViewVC logotype

Revision 44434


Jump to revision: Previous Next
Author: manus
Date: Wed Jul 21 04:49:24 2004 UTC (15 years, 6 months ago)
Changed paths: 7
Log Message:
Removed support for `reference' types:
  - removed `reference_actual_type'.
  - added `is_conformant_to' which enables us to find if one type inherits
    from another one in a conformant way. It is needed for checking constraint
	genericity when actual generic is an expanded and constraint is a reference.
	Before we were using `reference_actual_type.conform_to' but since we
	removed it, we need something else and this is `is_conformant_to'.


Changed paths

Path Details
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/basic_a.e modified , text changed
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/cl_type_a.e modified , text changed
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/gen_type_a.e modified , text changed
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/like_type_a.e modified , text changed
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/multi_type_a.e modified , text changed
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/type_a.e modified , text changed
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/typed_pointer_a.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23