/[eiffelstudio]/trunk/Src/Eiffel/API/evaluated_type/none_a.e
ViewVC logotype

Diff of /trunk/Src/Eiffel/API/evaluated_type/none_a.e

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

revision 70995 by martins, Tue Mar 13 01:32:16 2007 UTC revision 70996 by alexk, Thu Nov 1 18:18:11 2007 UTC
# Line 80  feature {COMPILER_EXPORTER} Line 80  feature {COMPILER_EXPORTER}
80                  local                  local
81                          l_type: TYPE_A                          l_type: TYPE_A
82                  do                  do
83                                  -- If `other' is expanded, then it does not conform to NONE.                                  -- If `other' is attached, then NONE does not conform to it.
84                                  -- 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
85                                  -- return type for procedure                                  -- return type for procedure
86                          l_type := other.conformance_type                          l_type := other.conformance_type
87                          Result := not l_type.is_expanded and not l_type.is_void                          Result := not l_type.is_expanded and not l_type.is_void and then not l_type.is_attached
88                  end                  end
89    
90  indexing  indexing

Legend:
Removed from v.70995  
changed lines
  Added in v.70996

  ViewVC Help
Powered by ViewVC 1.1.23