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

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

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

revision 9658 by manus, Sun Mar 15 02:27:12 1998 UTC revision 10886 by manus, Mon Aug 10 23:49:22 1998 UTC
# Line 112  feature -- Primitives Line 112  feature -- Primitives
112    
113          type_i: TYPE_I is          type_i: TYPE_I is
114                          -- Reduced type of `actual_type'                          -- Reduced type of `actual_type'
115                    local
116                            cl_type : CL_TYPE_I
117                  do                  do
118                          Result := actual_type.type_i                          Result := actual_type.type_i
119                            cl_type ?= Result
120    
121                            if cl_type /= Void then
122                                    -- Remember that it's an anchored type
123                                    cl_type.set_cr_info (create_info)
124                            end
125                  end                  end
126    
127          meta_type: TYPE_I is          meta_type: TYPE_I is

Legend:
Removed from v.9658  
changed lines
  Added in v.10886

  ViewVC Help
Powered by ViewVC 1.1.23