/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e

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

revision 48130 by manus, Sun Jan 30 22:56:28 2005 UTC revision 55786 by alexk, Fri Nov 18 07:49:18 2005 UTC
# Line 73  feature {COMPILER_EXPORTER} Line 73  feature {COMPILER_EXPORTER}
73                                  -- If `other' is expanded, then it does not conform to NONE.                                  -- If `other' is expanded, then it does not conform to NONE.
74                                  -- But it should not be `VOID_A' since VOID_A is only used as                                  -- But it should not be `VOID_A' since VOID_A is only used as
75                                  -- return type for procedure                                  -- return type for procedure
76                          l_type := other.actual_type                          l_type := other.conformance_type
77                          Result := not l_type.is_expanded and not l_type.is_void                          Result := not l_type.is_expanded and not l_type.is_void
78                  end                  end
79    

Legend:
Removed from v.48130  
changed lines
  Added in v.55786

  ViewVC Help
Powered by ViewVC 1.1.23