/[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 5305 by ericb, Fri May 24 15:43:47 1996 UTC revision 5770 by xavierl, Fri Jun 28 18:53:00 1996 UTC
# Line 77  feature Line 77  feature
77                          other_cl_type ?= other;                          other_cl_type ?= other;
78                          Result :=       other_cl_type /= Void                          Result :=       other_cl_type /= Void
79                                                  and then                                                  and then
80                                                  other_cl_type.base_id.is_equal (base_id)                                                          -- FIXME
81                                                    equal (other_cl_type.base_id, base_id)
82                                                  and then                                                  and then
83                                                  other_cl_type.is_expanded = is_expanded                                                  other_cl_type.is_expanded = is_expanded
84                                                  and then                                                  and then

Legend:
Removed from v.5305  
changed lines
  Added in v.5770

  ViewVC Help
Powered by ViewVC 1.1.23