/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/API/evaluated_type/gen_type_a.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/gen_type_a.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 69702 by juliant, Thu Jul 26 19:39:43 2007 UTC revision 69703 by juliant, Thu Jul 26 22:37:19 2007 UTC
# Line 515  feature {COMPILER_EXPORTER} -- Primitive Line 515  feature {COMPILER_EXPORTER} -- Primitive
515                                                  i > count or else not Result                                                  i > count or else not Result
516                                          loop                                          loop
517                                                  Result := gen_type_generics.item (i).conform_to (generics.item (i))                                                  Result := gen_type_generics.item (i).conform_to (generics.item (i))
518                                                  if not is_covariant (i) and then not equivalent (gen_type_generics.item (i).conformance_type, generics.item (i).conformance_type) then                                                  if Result and then not is_covariant (i) and then not equivalent (gen_type_generics.item (i).conformance_type, generics.item (i).conformance_type) then
519                                                                  -- It is not a covariant generic, and the types differ. This is a conformance mismatch                                                                  -- It is not a covariant generic, and the types differ. This is a conformance mismatch
520                                                          conformance_check.cat_result := False                                                          conformance_check.cat_result := False
521                                                  end                                                  end

Legend:
Removed from v.69702  
changed lines
  Added in v.69703

  ViewVC Help
Powered by ViewVC 1.1.23