/[eiffelstudio]
ViewVC logotype

Revision 94747


Jump to revision: Previous Next
Author: manus
Date: Mon Mar 31 22:51:01 2014 UTC (5 years, 6 months ago)
Changed paths: 1
Log Message:
* Fixed an issue with the catcall checker where the type of manifest strings being frozen, we might inadvertantly change the type of {CLASS_C}.actual_type for the STRING_8 class causing some compilation errors. This was found when checking `{STRING_8}.multiply' in the descendant class {PATH_NAME}. We could not reproduce it on a smaller example.
* Changed a typing rule so that the type of a creation expression create {A ....} would be frozen since we know for sure that the type is not going to be changed at runtime. This allows creation of frozen entities.


Changed paths

Path Details
Directorytrunk/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23