/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e

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

revision 69649 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC
# Line 8105  feature {NONE} -- Implementation: catcal Line 8105  feature {NONE} -- Implementation: catcal
8105                          loop                          loop
8106                                          -- If type is generic, instantiate subtype with same generics                                          -- If type is generic, instantiate subtype with same generics
8107                                  if a_type.has_generics then                                  if a_type.has_generics then
8108                                          l_type := l_descendants.item.partial_actual_type (a_type.generics, a_type.is_expanded, a_type.is_separate)                                          l_type := l_descendants.item.partial_actual_type (a_type.generics, a_type.is_expanded, a_type.is_separate, a_type.is_monomorph)
8109                                  else                                  else
8110                                          l_type := l_descendants.item.actual_type                                          l_type := l_descendants.item.actual_type
8111                                  end                                  end

Legend:
Removed from v.69649  
changed lines
  Added in v.69650

  ViewVC Help
Powered by ViewVC 1.1.23