/[eiffelstudio]
ViewVC logotype

Revision 63371


Jump to revision: Previous Next
Author: manus
Date: Thu Sep 7 22:37:35 2006 UTC (13 years, 5 months ago)
Changed paths: 14
Log Message:
Fixed test#incr068 by first:
- renaming `is_valid' into `is_consistent' since it only checks the validity of TYPE_I objects.
- adding `is_valid' to TYPE_I which takes a CLASS_C as argument. Now is_valid will check that if
  you have a formal, then the CLASS_C has generics. Otherwise it is not valid.
- updating the pattern code to use `is_valid' instead of `is_consistent'.


Changed paths

Path Details
Directorytrunk/Src/Eiffel/eiffel/compiler/pattern.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/compiler/pattern_info.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/compiler/pattern_table.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/basic_i.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/cl_type_i.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/filter_list.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/formal_i.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/gen_type_i.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/instantiator.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/meta_generic.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/tuple_type_i.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/type_i.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/genericity/typed_pointer_i.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/skeleton/generic_skeleton.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23