/[eiffelstudio]
ViewVC logotype

Revision 89317


Jump to revision: Previous Next
Author: manus
Date: Tue Aug 7 23:38:33 2012 UTC (7 years, 4 months ago)
Changed paths: 32
Log Message:
Simplified type system to not include TYPE_SET_A and RENAMED_TYPE_A. For the time being it does break 4 eweasel tests, but the ultimate goal is to have them back to normal before the 7.2 release as more changes are coming in the type system (introduction of type intervals for example).

Detailed list of changes:
* Removed inheritance from TYPE_A for TYPE_SET_A and RENAMED_TYPE_A. This simplifies the code of handling types as they appear in the Eiffel code in the future.
* Removed useless formal generic parameter to RENAMED_TYPE_A.
* Removed routines of TYPE_SET_A/RENAMED_TYPE_A that were never called.
* Removed support for expanded generic classes with multiple constraint formal. We now generate a NOT_SUPPORTED error. It was causing a code generation issue problem for sorting our CLASS_TYPE instances and an issue with conversion. The following eweasel tests are failing because of that: test#incr283, test#term191, test#multicon015 and test#multicon060.
* Changed NOT_SUPPORTED creation procedure to take a message as argument.
* Removed support of multiple constraints in the completion  because I think the way it is done is not working. We should use something more in line with a context we use to evaluate a routine.

See review#8190051.

Changed paths

Path Details
Directorytrunk/Src/Eiffel/API/error/eiffel/feature/not_supported.e modified , text changed
Directorytrunk/Src/Eiffel/API/error/eiffel/feature/vwbr.e modified , text changed
Directorytrunk/Src/Eiffel/API/error/eiffel/unredefined/vtmc4.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/cl_type_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/formal_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/gen_type_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/like_current.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/like_type_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/mc_feature_info.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/renamed_type_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/type_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/type_set_a.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/visitor/ast_type_output_strategy.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/visitor/type_a_feature_finder.e modified , text changed
Directorytrunk/Src/Eiffel/API/evaluated_type/visitor/type_a_visitor.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/AST/skeleton/formal_constraint_as.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/AST/visitor/type_a_checker.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/compiler/convertibility_checker.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/type_list.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/class_c.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/eiffel_class_c.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/native_array_b.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/pointer_b.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/system_i.e modified , text changed
Directorytrunk/Src/Eiffel/flat_short/bench/ast_decorated_output_strategy.e modified , text changed
Directorytrunk/Src/Eiffel/flat_short/bench/type_a_formatter.e modified , text changed
Directorytrunk/Src/Eiffel/interface/graphical/tools/watch/ast_breakable_slot_strategy.e modified , text changed
Directorytrunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_class_info_analyzer.e modified , text changed
Directorytrunk/Src/Eiffel/interface/new_graphical/text_window/text/autocomplete/eb_complete_info_analyzer.e modified , text changed
Directorytrunk/Src/framework/auto_test/utils/aut_generic_derivation_type_visitor.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23