/[eiffelstudio]
ViewVC logotype

Revision 69650


Jump to revision: Previous Next
Author: juliant
Date: Tue Jul 24 17:18:14 2007 UTC (12 years, 3 months ago)
Changed paths: 17
Log Message:
Added monomorph mark for class types, either "frozen" or "invariant".
First (simple) conformance check for monomorphic types.

Changed paths

Path Details
Directorybranches/CAT_mono/Src/Eiffel/API/evaluated_type/cl_type_a.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/API/evaluated_type/like_current.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/API/evaluated_type/visitor/ast_type_output_strategy.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/AST/parser_override/type_a.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/class_b.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/class_c.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/native_array_b.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/pointer_b.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/tuple_class_b.e modified , text changed
Directorybranches/CAT_mono/Src/framework/parser/AST/factory/ast_factory.e modified , text changed
Directorybranches/CAT_mono/Src/framework/parser/AST/types/class_type_as.e modified , text changed
Directorybranches/CAT_mono/Src/framework/parser/parser/eiffel.y modified , text changed
Directorybranches/CAT_mono/Src/framework/parser/parser/eiffel_parser.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23