/[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 11722 by manus, Fri Oct 23 23:37:34 1998 UTC revision 11811 by manus, Fri Nov 6 22:27:15 1998 UTC
# Line 72  feature {COMPILER_EXPORTER} Line 72  feature {COMPILER_EXPORTER}
72                                  -- conform to NONE.                                  -- conform to NONE.
73                                  --| When doing the check for `is_basic', we also check that `other'                                  --| When doing the check for `is_basic', we also check that `other'
74                                  --| can be a BIT type, so we do not need to add the check `other.is_bits'.                                  --| can be a BIT type, so we do not need to add the check `other.is_bits'.
75                          Result := not (other.is_basic or else other.is_expanded)  -- FIXME: This test needs to be done, but since it's causing to much trouble for now
76    -- we just desactivated it and we are back to the previous implementation
77    --                      Result := not (other.is_basic or else other.is_expanded)
78                            Result := True
79                  end                  end
80    
81      storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is      storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is

Legend:
Removed from v.11722  
changed lines
  Added in v.11811

  ViewVC Help
Powered by ViewVC 1.1.23