/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/byte_code/feature_b.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/byte_code/feature_b.e

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

revision 69867 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 443  feature -- Inlining Line 443  feature -- Inlining
443                                          loop                                          loop
444                                                  l_formal_dec ?= written_class.generics.i_th (1)                                                  l_formal_dec ?= written_class.generics.i_th (1)
445                                                  check l_formal_dec_not_void: l_formal_dec /= Void end                                                  check l_formal_dec_not_void: l_formal_dec /= Void end
446                                                  create formal_a.make (l_formal_dec.is_reference, l_formal_dec.is_expanded, i)                                                  create formal_a.make (l_formal_dec.is_reference, l_formal_dec.is_expanded, l_formal_dec.is_monomorph, i)
447                                                  actual_type := formal_a.instantiation_in (real_target_type, written_class.class_id)                                                  actual_type := formal_a.instantiation_in (real_target_type, written_class.class_id)
448    
449                                                  if actual_type.is_expanded then                                                  if actual_type.is_expanded then
Legend:
Removed from v.69867  
changed lines
  Added in v.69868
  ViewVC Help
Powered by ViewVC 1.1.23