Changeset 879

Timestamp:

Jun 29, 2003, 1:58:03 AM (18 years ago)

Author:

orlov

Message:

• Methods for flat expressions equality checks have been removed.

Location:

to-imperative/trunk/runtime

Files:

• rf_expr.hh (modified) (1 diff)
• rf_term.hh (modified) (1 diff)
• rf_term.ih (modified) (1 diff)

to-imperative/trunk/runtime/rf_expr.hh

@@ -165 +165 @@
   inline bool eq (Expr const& _expr, uintptr_t _index) ;
   ///
-  /// As previous, but works correctly only when at least one of the
-  /// expressions is flat.
-  inline bool flat_eq (Expr const& _expr, uintptr_t _index) ;
-  ///
-  /// Same methods for const expressions.
+  /// Same method for const expression.
   inline bool eq (Expr const& _expr, uintptr_t _index) const ;
-  inline bool flat_eq (Expr const& _expr, uintptr_t _index) const ;
   ///
   /// Compare our first term with some one of another expression as flat

to-imperative/trunk/runtime/rf_term.hh

@@ -163 +163 @@
   ) ;
   ///
-  /// Check whether two flat term sequences are equal
-  static inline bool flat_eq (
-    Term const* _p1, Term const* _p2, uintptr_t _len
-  ) ;
-  ///
   /// Check whether a term is a symbol
   inline bool is_sym () const ;

to-imperative/trunk/runtime/rf_term.ih

@@ -169 +169 @@
   {
     if (*_p1 != *_p2) return false;
-  }
-  return true;
-}
-
-inline bool Term::flat_eq (
-  Term const* _p1, Term const* _p2, uintptr_t _len
-)
-{
-  for (; _len--; _p1++, _p2++)
-  {
-    if (_p1->data1 != _p2->data1 || _p1->uint_data2 != _p2->uint_data2)
-      return false;
   }
   return true;