/[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 11302 by manus, Sun Sep 13 22:35:07 1998 UTC revision 12165 by manus, Sat Dec 5 19:29:49 1998 UTC
# Line 99  feature -- Primitives Line 99  feature -- Primitives
99          internal_conform_to (other: TYPE_A in_generics: BOOLEAN): BOOLEAN is          internal_conform_to (other: TYPE_A in_generics: BOOLEAN): BOOLEAN is
100                          -- Does `other' conform to `actual_type' ?                          -- Does `other' conform to `actual_type' ?
101                  do                  do
102                          Result := actual_type.internal_conform_to (other, in_generics)                          Result := actual_type.internal_conform_to (other.actual_type, in_generics)
103                  end                  end
104    
105          type_i: TYPE_I is          type_i: TYPE_I is

Legend:
Removed from v.11302  
changed lines
  Added in v.12165

  ViewVC Help
Powered by ViewVC 1.1.23