/[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 75567 by manus, Thu Nov 13 20:39:48 2008 UTC revision 75945 by alexk, Fri Nov 28 13:33:06 2008 UTC
# Line 108  feature {COMPILER_EXPORTER} Line 108  feature {COMPILER_EXPORTER}
108                                  -- 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
109                                  -- return type for procedure                                  -- return type for procedure
110                          l_type := other.conformance_type                          l_type := other.conformance_type
111                          Result := not l_type.is_expanded and not l_type.is_void and then not l_type.is_attached                          Result := not l_type.is_expanded and not l_type.is_void and then not l_type.is_attached and then
112                                    (l_type.is_formal implies l_type.is_reference)
113                  end                  end
114    
115  indexing  indexing
116          copyright:      "Copyright (c) 1984-2006, Eiffel Software"          copyright:      "Copyright (c) 1984-2008, Eiffel Software"
117          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
118          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
119          copying: "[          copying: "[

Legend:
Removed from v.75567  
changed lines
  Added in v.75945

  ViewVC Help
Powered by ViewVC 1.1.23