/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

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

revision 621 by grator, Thu Jul 14 21:37:03 1994 UTC revision 850 by grator, Sat Aug 20 01:04:52 1994 UTC
# Line 66  feature Line 66  feature
66                          other_cl_type ?= other;                          other_cl_type ?= other;
67                          Result :=       other_cl_type /= Void                          Result :=       other_cl_type /= Void
68                                                  and then                                                  and then
                                                 other_cl_type.meta_generic = Void  
                                                 and then  
69                                                  other_cl_type.base_id = base_id                                                  other_cl_type.base_id = base_id
70                                                  and then                                                  and then
71                                                  other_cl_type.is_expanded = is_expanded;                                                  other_cl_type.is_expanded = is_expanded
72                                                    and then
73                                                    other_cl_type.meta_generic = Void
74                  end;                  end;
75    
76          instantiation_in (other: GEN_TYPE_I): CL_TYPE_I is          instantiation_in (other: GEN_TYPE_I): CL_TYPE_I is

Legend:
Removed from v.621  
changed lines
  Added in v.850

  ViewVC Help
Powered by ViewVC 1.1.23