Here's a bit of code (and my apologies for it's length, but I'm unsure
which bit is the failure point)

#include <cstddef>

#include "boost/lambda/lambda.hpp"
#include "boost/lambda/bind.hpp"
#include "boost/function.hpp"
#include "boost/type_traits.hpp"

namespace
{
template < bool >
    struct cmp_detail
{
    template < typename T >
      static bool cmp( const T & lhs, const T & rhs )
    {
      return lhs != rhs;
    }
};

template < >
    struct cmp_detail< true >
{
    template < typename T, std :: size_t sz >
      static bool cmp( const T ( & lhs )[ sz ], const T ( & rhs )[ sz ] )
    {
      using boost :: lambda :: _1;
      using boost :: lambda :: bind;
      using boost :: lambda :: var;

      boost :: function< bool( unsigned ) > cmp_element =
        bind( cmp_detail< boost :: is_array< T > :: value > :: cmp,
            var( lhs )[ _1 ], var( rhs )[ _1 ] );

      for ( unsigned i = 0; i != sz; ++ i )
        if ( cmp_element( i ) )
        // if ( cmp_detail< boost :: is_array< T > :: value > :: cmp( lhs[ i ], rhs[ i ] ) )
          return true;
      return false;
    }
};

template < typename T >
    bool cmp( const T & lhs, const T & rhs )
{
    return cmp_detail< boost :: is_array< T > :: value > :: cmp( lhs, rhs );
}

template < typename T, std :: size_t sz >
    struct Block
{
    typedef T type[ sz ][ sz ];
};
}

int main( )
{
Block< int, 16 > :: type a;
Block< int, 16 > :: type b;

cmp( a, b );
}

The problem is the bind call in cmp_detail<true>::cmp(...). Error is this

block.cpp: In static member function `static bool <unnamed>::cmp_detail< true>::cmp(const T (&)[sz], const T (&)[sz]) [w
ith T = int[16], unsigned int sz = 16u]':
block.cpp:45:   instantiated from `bool <unnamed>::cmp(const T&, const T&) [with T = int[16][16]]'
block.cpp:61:   instantiated from here
block.cpp:32: error: no matching function for call to `bind(<unknown type>, const boost::lambda::lambda_functor<boost::l
ambda::lambda_functor_base<boost::lambda::other_action<boost::lambda::subscript_action>, boost::tuples::tuple<boost::lam
bda::lambda_functor<boost::lambda::identity<const int (&)[16][16]> >, boost::lambda::lambda_functor<boost::lambda::place
holder<1> >, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boo
st::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type> > >, const boost::l
ambda::lambda_functor<boost::lambda::lambda_functor_base<boost::lambda::other_action<boost::lambda::subscript_action>, b
oost::tuples::tuple<boost::lambda::lambda_functor<boost::lambda::identity<const int (&)[16][16]> >, boost::lambda::lambd
a_functor<boost::lambda::placeholder<1> >, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type,
boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::
null_type> > >)'

I think perhaps the var() calls are not preserving constness quite right? Any help would be welcome.

Thanks.

- Rob.