Index: boost/mpl/equal.hpp
===================================================================
diff --git a/trunk/boost/mpl/equal.hpp b/trunk/boost/mpl/equal.hpp
--- a/trunk/boost/mpl/equal.hpp	(revision 84407)
+++ b/trunk/boost/mpl/equal.hpp	(working copy)
@@ -4,8 +4,8 @@
 
 // Copyright Aleksey Gurtovoy 2000-2004
 //
-// Distributed under the Boost Software License, Version 1.0. 
-// (See accompanying file LICENSE_1_0.txt or copy at 
+// Distributed under the Boost Software License, Version 1.0.
+// (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 //
 // See http://www.boost.org/libs/mpl for documentation.
@@ -14,21 +14,22 @@
 // $Date$
 // $Revision$
 
+#include <boost/mpl/always.hpp>
+#include <boost/mpl/and.hpp>
+#include <boost/mpl/apply.hpp>
+#include <boost/mpl/aux_/iter_apply.hpp>
 #include <boost/mpl/aux_/iter_fold_if_impl.hpp>
-#include <boost/mpl/aux_/iter_apply.hpp>
-#include <boost/mpl/and.hpp>
-#include <boost/mpl/not.hpp>
+#include <boost/mpl/aux_/lambda_support.hpp>
+#include <boost/mpl/aux_/msvc_eti_base.hpp>
+#include <boost/mpl/aux_/na_spec.hpp>
 #include <boost/mpl/begin_end.hpp>
-#include <boost/mpl/next.hpp>
-#include <boost/mpl/always.hpp>
+#include <boost/mpl/bind.hpp>
 #include <boost/mpl/bool.hpp>
 #include <boost/mpl/lambda.hpp>
-#include <boost/mpl/bind.hpp>
-#include <boost/mpl/apply.hpp>
+#include <boost/mpl/next.hpp>
+#include <boost/mpl/not.hpp>
+#include <boost/mpl/quote.hpp>
 #include <boost/mpl/void.hpp>
-#include <boost/mpl/aux_/na_spec.hpp>
-#include <boost/mpl/aux_/lambda_support.hpp>
-#include <boost/mpl/aux_/msvc_eti_base.hpp>
 
 #include <boost/type_traits/is_same.hpp>
 
@@ -49,7 +50,7 @@
         >
     struct apply
     {
-        typedef typename and_< 
+        typedef typename and_<
               not_< is_same<Iterator1,LastIterator1> >
             , not_< is_same<Iterator2,LastIterator2> >
             , aux::iter_apply2<Predicate,Iterator1,Iterator2>
@@ -87,25 +88,23 @@
 
     typedef typename result_::type type;
 };
-
-
 } // namespace aux
 
 
 template<
       typename BOOST_MPL_AUX_NA_PARAM(Sequence1)
     , typename BOOST_MPL_AUX_NA_PARAM(Sequence2)
-    , typename Predicate = is_same<_,_>
+    , typename Predicate = quote2<is_same>
     >
 struct equal
-    : aux::msvc_eti_base< 
+    : aux::msvc_eti_base<
           typename aux::equal_impl<Sequence1,Sequence2,Predicate>::type
         >::type
 {
-    BOOST_MPL_AUX_LAMBDA_SUPPORT(2,equal,(Sequence1,Sequence2))
+    BOOST_MPL_AUX_LAMBDA_SUPPORT(3,equal,(Sequence1,Sequence2))
 };
 
-BOOST_MPL_AUX_NA_SPEC(2, equal)
+BOOST_MPL_AUX_NA_SPEC(3, equal)
 
 }}
 
Index: libs/mpl/doc/src/refmanual/equal.rst
===================================================================
diff --git a/trunk/libs/mpl/doc/src/refmanual/equal.rst b/trunk/libs/mpl/doc/src/refmanual/equal.rst
--- a/trunk/libs/mpl/doc/src/refmanual/equal.rst	(revision 84407)
+++ b/trunk/libs/mpl/doc/src/refmanual/equal.rst	(working copy)
@@ -7,11 +7,11 @@
 --------
 
 .. parsed-literal::
-    
+
     template<
           typename Seq1
         , typename Seq2
-        , typename Pred = is_same<_1,_2>
+        , typename Pred = quote2<is_same>
         >
     struct equal
     {
@@ -23,7 +23,7 @@
 Description
 -----------
 
-Returns a true-valued |Integral Constant| if the two sequences ``Seq1`` 
+Returns a true-valued |Integral Constant| if the two sequences ``Seq1``
 and ``Seq2`` are identical when compared element-by-element.
 
 
@@ -31,7 +31,7 @@
 ------
 
 .. parsed-literal::
-    
+
     #include <boost/mpl/equal.hpp>
 
 
@@ -56,14 +56,14 @@
 
 .. parsed-literal::
 
-    typedef equal<s1,s2,pred>::type c; 
+    typedef equal<s1,s2,pred>::type c;
 
 :Return type:
     |Integral Constant|
 
 :Semantics:
-    ``c::value == true`` is and only if ``size<s1>::value == size<s2>::value`` 
-    and for every iterator ``i`` in |begin/end<s1>| ``deref<i>::type`` is identical to 
+    ``c::value == true`` is and only if ``size<s1>::value == size<s2>::value``
+    and for every iterator ``i`` in |begin/end<s1>| ``deref<i>::type`` is identical to
 
     .. parsed-literal::
 
@@ -73,17 +73,17 @@
 Complexity
 ----------
 
-Linear. At most ``size<s1>::value`` comparisons. 
+Linear. At most ``size<s1>::value`` comparisons.
 
 
 Example
 -------
 
 .. parsed-literal::
-    
+
     typedef vector<char,int,unsigned,long,unsigned long> s1;
     typedef list<char,int,unsigned,long,unsigned long> s2;
-    
+
     BOOST_MPL_ASSERT(( equal<s1,s2> ));
 
 
Index: libs/mpl/test/Jamfile.v2
===================================================================
diff --git a/trunk/libs/mpl/test/Jamfile.v2 b/trunk/libs/mpl/test/Jamfile.v2
--- a/trunk/libs/mpl/test/Jamfile.v2	(revision 84407)
+++ b/trunk/libs/mpl/test/Jamfile.v2	(working copy)
@@ -17,6 +17,7 @@
 compile bind.cpp ;
 compile bitwise.cpp ;
 run bool.cpp ;
+compile bug_equal_default_lambda.cpp ;
 compile comparison.cpp ;
 compile contains.cpp ;
 compile copy.cpp ;
Index: libs/mpl/test/bug_equal_default_lambda.cpp
===================================================================
diff --git a/trunk/libs/mpl/test/bug_equal_default_lambda.cpp b/trunk/libs/mpl/test/bug_equal_default_lambda.cpp
new file mode 10644
--- /dev/null	(revision 0)
+++ b/trunk/libs/mpl/test/bug_equal_default_lambda.cpp	(working copy)
@@ -0,0 +1,39 @@
+// Copyright Louis Dionne 2013
+//
+// Distributed under the Boost Software License,Version 1.0.
+// (See accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//
+// See http://www.boost.org/libs/mpl for documentation.
+
+
+// Test case for the bug reported at:
+// https://svn.boost.org/trac/boost/ticket/8608
+
+
+#include <boost/mpl/assert.hpp>
+#include <boost/mpl/equal.hpp>
+#include <boost/mpl/find_if.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/vector.hpp>
+#include <boost/type_traits/is_same.hpp>
+
+
+using namespace boost;
+using namespace boost::mpl;
+
+
+template <typename VectorOfVectors, typename Vector>
+struct find_vector
+    : find_if<
+        VectorOfVectors, equal<Vector, _1>
+    >
+{ };
+
+typedef find_vector<
+    vector<
+        vector<int, int>,
+        vector<char, char>
+    >,
+    vector<char, char>
+>::type ThisShouldNotBreak;