Merge to master for 1.62.0 release

Fix "-Wc++11-extensions" warning on Clang in C++03 mode

doc/index.html

@@ -35,7 +35,7 @@ metafunctions. It provides a conceptual foundation and an extensive
 set of powerful and coherent tools that make doing explict metaprogramming 
 in C++ as easy and enjoyable as possible within the current language.</p>
 <p>There are several places to start when getting familiar with the library,
-depending on what your know about metaprogramming in general and 
+depending on what you know about metaprogramming in general and
 C++ template metaprogramming in particular.  Starting with
 Boost version 1.32, the MPL comes with both an <a class="reference" href="./tutorial/tutorial-metafunctions.html">in-depth tutorial</a> on its 
 fundamental concepts and an annotated <a class="reference" href="./tutorial/reference-manual.html">reference manual</a> covering all concepts 

doc/src/refmanual/Iterators.rst

@@ -5,7 +5,7 @@ it possible to decouple `algorithms`__ from concrete compile-time `sequence
 implementations`__. Under the hood, all MPL sequence algorithms are 
 implemented in terms of iterators. In particular, that means that they 
 will work on any custom compile-time sequence, given that the appropriate 
-iterator inteface is provided.
+iterator interface is provided.
 
 __ `Algorithms`_
 __ `label-Sequences-Classes`_
@@ -14,6 +14,6 @@ __ `label-Sequences-Classes`_
 .. More?
 
 
-.. copyright:: Copyright ©  2001-2009 Aleksey Gurtovoy and David Abrahams
+.. copyright:: Copyright ©  2001-2009 Aleksey Gurtovoy and David Abrahams
    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)

doc/tutorial/incomplete-support-for.html

@@ -113,7 +113,7 @@ arguments), which comes down to the follwing two criteria:</p>
 placeholders do contain these).</li>
 </ol>
 <p>If these two hold, you can safely put <tt class="literal"><span class="pre">BOOST_MPL_AUX_LAMBDA_SUPPORT</span></tt> inside
-your metafunction and forget about the issue.  If not, your are out of luck and
+your metafunction and forget about the issue.  If not, you are out of luck and
 probably have to write a metafunction class instead.</p>
 <p>The good news are that most of the MPL's own metafunctions and <a class="reference" href="../../../type_traits/index.html" target="_top">Boost.Type Traits</a>
 templates are &quot;placeholder-safe&quot; and have the workaround applied to them, so

include/boost/mpl/aux_/insert_range_impl.hpp

@@ -14,9 +14,10 @@
 // $Date$
 // $Revision$
 
-#include <boost/mpl/copy.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/fold.hpp>
+#include <boost/mpl/insert.hpp>
 #include <boost/mpl/clear.hpp>
-#include <boost/mpl/front_inserter.hpp>
 #include <boost/mpl/joint_view.hpp>
 #include <boost/mpl/iterator_range.hpp>
 #include <boost/mpl/aux_/na_spec.hpp>
@@ -43,29 +44,31 @@ struct insert_range_impl
         >
     struct apply
 #if !defined(BOOST_MPL_CFG_NO_NESTED_FORWARDING)
-        : reverse_copy<
-              joint_view< 
+        : reverse_fold<
+              joint_view<
                   iterator_range<typename begin<Sequence>::type,Pos>
-                , joint_view< 
+                , joint_view<
                       Range
                     , iterator_range<Pos,typename end<Sequence>::type>
                     >
                 >
-            , front_inserter< typename clear<Sequence>::type >
+            , typename clear<Sequence>::type
+            , insert<_1, begin<_1>, _2>
             >
     {
 #else
     {
-        typedef typename reverse_copy<
-              joint_view< 
-                  iterator_range<typename begin<Sequence>::type,Pos>
-                , joint_view< 
-                      Range
-                    , iterator_range<Pos,typename end<Sequence>::type>
-                    >
-                >
-            , front_inserter< typename clear<Sequence>::type >
-            >::type type;
+        typedef typename reverse_fold<
+                joint_view<
+                    iterator_range<typename begin<Sequence>::type,Pos>
+                  , joint_view<
+                        Range
+                      , iterator_range<Pos,typename end<Sequence>::type>
+                      >
+                  >
+              , typename clear<Sequence>::type
+              , insert<_1, begin<_1>, _2>
+              >::type type;
 #endif
     };
 };

include/boost/mpl/aux_/preprocessor/range.hpp

@@ -15,9 +15,16 @@
 // $Revision$
 
 #include <boost/preprocessor/seq/subseq.hpp>
+#include <boost/preprocessor/repetition/repeat.hpp>
+#include <boost/preprocessor/arithmetic/add.hpp>
+
+#define BOOST_MPL_PP_RANGE_ITEM(z,n,_) (n)
 
 #define BOOST_MPL_PP_RANGE(first, length) \
-    BOOST_PP_SEQ_SUBSEQ((0)(1)(2)(3)(4)(5)(6)(7)(8)(9), first, length) \
+    BOOST_PP_SEQ_SUBSEQ( \
+        BOOST_PP_REPEAT(BOOST_PP_ADD(first,length), BOOST_MPL_PP_RANGE_ITEM, _), \
+        first, length \
+    ) \
 /**/
 
 #endif // BOOST_MPL_AUX_PREPROCESSOR_RANGE_HPP_INCLUDED

include/boost/mpl/empty_base.hpp

@@ -17,12 +17,11 @@
 #include <boost/mpl/bool.hpp>
 #include <boost/mpl/aux_/config/msvc.hpp>
 #include <boost/mpl/aux_/config/workaround.hpp>
+#include <boost/mpl/aux_/lambda_support.hpp>
 
+#include <boost/type_traits/integral_constant.hpp>
 #include <boost/type_traits/is_empty.hpp>
 
-// should be always the last #include directive
-#include <boost/type_traits/detail/bool_trait_def.hpp>
-
 namespace boost { namespace mpl {
 
 // empty base class, guaranteed to have no members; inheritance from
@@ -51,9 +50,14 @@ struct is_empty_base<empty_base>
 }}
 
 namespace boost {
-BOOST_TT_AUX_BOOL_TRAIT_SPEC1(is_empty, mpl::empty_base, true)
+
+template<> struct is_empty< mpl::empty_base >
+    : public ::boost::integral_constant<bool,true>
+{
+public:
+    BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(1,is_empty,(mpl::empty_base))
+};
+
 }
 
-#include <boost/type_traits/detail/bool_trait_undef.hpp>
-
 #endif // BOOST_MPL_EMPTY_BASE_HPP_INCLUDED

include/boost/mpl/empty_sequence.hpp

@@ -23,7 +23,8 @@ namespace boost { namespace mpl {
 
 struct empty_sequence
 {
-    struct tag; 
+    struct tag;
+    typedef empty_sequence type;
     struct begin { typedef random_access_iterator_tag category; };    
     typedef begin end;
 };

include/boost/mpl/map/aux_/insert_range_impl.hpp

@@ -0,0 +1,41 @@
+
+#ifndef BOOST_MPL_MAP_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED
+#define BOOST_MPL_MAP_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED
+
+// Copyright Bruno Dutra 2015
+//
+// 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.
+
+// $Id$
+// $Date$
+// $Revision$
+
+#include <boost/mpl/insert_range_fwd.hpp>
+#include <boost/mpl/map/aux_/tag.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/fold.hpp>
+#include <boost/mpl/insert.hpp>
+
+namespace boost { namespace mpl {
+
+template<>
+struct insert_range_impl< aux::map_tag >
+{
+    template<
+          typename Sequence
+        , typename /*Pos*/
+        , typename Range
+        >
+    struct apply
+        : fold<Range, Sequence, insert<_1, _2> >
+    {
+    };
+};
+
+}}
+
+#endif // BOOST_MPL_MAP_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED

include/boost/mpl/map/aux_/item.hpp

@@ -40,6 +40,7 @@ struct m_item
     typedef Key         key_;
     typedef pair<Key,T> item;
     typedef Base        base;
+    typedef m_item      type;
     
     typedef typename next< typename Base::size >::type  size;
     typedef typename next< typename Base::order >::type order;
@@ -62,6 +63,7 @@ struct m_mask
 {
     typedef void_   key_;
     typedef Base    base;
+    typedef m_mask  type;
 
     typedef typename prior< typename Base::size >::type  size;
     typedef typename x_order_impl<Base,Key>::type key_order_;
@@ -123,6 +125,7 @@ struct m_mask
 {
     typedef void_   key_;
     typedef Base    base;
+    typedef m_mask  type;
 
     typedef typename prior< typename Base::size >::type  size;
     typedef typename x_order_impl<Base,Key>::type key_order_;

include/boost/mpl/map/map0.hpp

@@ -19,6 +19,7 @@
 #include <boost/mpl/map/aux_/at_impl.hpp>
 //#include <boost/mpl/map/aux_/O1_size.hpp>
 #include <boost/mpl/map/aux_/insert_impl.hpp>
+#include <boost/mpl/map/aux_/insert_range_impl.hpp>
 #include <boost/mpl/map/aux_/erase_impl.hpp>
 #include <boost/mpl/map/aux_/erase_key_impl.hpp>
 #include <boost/mpl/map/aux_/has_key_impl.hpp>

include/boost/mpl/print.hpp

@@ -47,7 +47,10 @@ struct print
 #endif 
 {
 #if defined(__clang__)
+# pragma clang diagnostic push
+# pragma clang diagnostic ignored "-Wc++11-extensions"
     const int m_x = 1 / (sizeof(T) - sizeof(T));
+# pragma clang diagnostic pop
 #elif defined(BOOST_MSVC)
     enum { n = sizeof(T) + -1 };
 #elif defined(__MWERKS__)

include/boost/mpl/set/aux_/insert_range_impl.hpp

@@ -0,0 +1,41 @@
+
+#ifndef BOOST_MPL_SET_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED
+#define BOOST_MPL_SET_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED
+
+// Copyright Bruno Dutra 2015
+//
+// 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.
+
+// $Id$
+// $Date$
+// $Revision$
+
+#include <boost/mpl/insert_range_fwd.hpp>
+#include <boost/mpl/set/aux_/tag.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/fold.hpp>
+#include <boost/mpl/insert.hpp>
+
+namespace boost { namespace mpl {
+
+template<>
+struct insert_range_impl< aux::set_tag >
+{
+    template<
+          typename Sequence
+        , typename /*Pos*/
+        , typename Range
+        >
+    struct apply
+        : fold<Range, Sequence, insert<_1, _2> >
+    {
+    };
+};
+
+}}
+
+#endif // BOOST_MPL_SET_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED

include/boost/mpl/set/aux_/item.hpp

@@ -33,6 +33,7 @@ struct s_item
     typedef void_       last_masked_;
     typedef T           item_type_;
     typedef typename Base::item_ base;
+    typedef s_item type;
     
     typedef typename next< typename Base::size >::type  size;
     typedef typename next< typename Base::order >::type order;
@@ -57,6 +58,7 @@ struct s_mask
     typedef void_   item_type_;
     typedef typename Base::item_ base;
     typedef typename prior< typename Base::size >::type  size;
+    typedef s_mask type;
 
     BOOST_MPL_AUX_SET_OVERLOAD( aux::yes_tag, IS_MASKED, s_mask, aux::type_wrapper<T>* );
 };

include/boost/mpl/set/set0.hpp

@@ -21,6 +21,7 @@
 #include <boost/mpl/set/aux_/size_impl.hpp>
 #include <boost/mpl/set/aux_/empty_impl.hpp>
 #include <boost/mpl/set/aux_/insert_impl.hpp>
+#include <boost/mpl/set/aux_/insert_range_impl.hpp>
 #include <boost/mpl/set/aux_/erase_impl.hpp>
 #include <boost/mpl/set/aux_/erase_key_impl.hpp>
 #include <boost/mpl/set/aux_/has_key_impl.hpp>

include/boost/mpl/string.hpp

@@ -59,7 +59,7 @@ namespace boost { namespace mpl
     #define BOOST_MPL_MULTICHAR_LENGTH(c)                                                           \
       (std::size_t)((c<CHAR_MIN) ? 4 : ((c>0xffffff)+(c>0xffff)+(c>0xff)+1))
 
-    #if defined(BOOST_ENDIAN_LITTLE_BYTE) && defined(__SUNPRO_CC)
+    #if BOOST_ENDIAN_LITTLE_BYTE && defined(__SUNPRO_CC)
 
         #define BOOST_MPL_MULTICHAR_AT(c,i)                                                         \
           (char)(0xff&((unsigned)(c)>>(8*(std::size_t)(i))))

meta/libraries.json

@@ -0,0 +1,14 @@
+{
+    "key": "mpl",
+    "name": "MPL",
+    "authors": [
+        "Aleksey Gurtovoy"
+    ],
+    "description": "The Boost.MPL library is a general-purpose, high-level C++ template metaprogramming framework of compile-time algorithms, sequences and metafunctions. It provides a conceptual foundation and an extensive set of powerful and coherent tools that make doing explict metaprogramming in C++ as easy and enjoyable as possible within the current language.",
+    "category": [
+        "Metaprogramming"
+    ],
+    "maintainers": [
+        "Aleksey Gurtovoy <agurtovoy -at- meta-comm.com>"
+    ]
+}

preprocessed/README.txt

@@ -0,0 +1,70 @@
+Pre-processing of MPL-containers
+--------------------------------
+
+Pre-processing of MPL-containers can be accomplished using the script
+"boost_mpl_preprocess.py". In the simple case call it with a single
+argument which is the path to the source-directory of Boost.
+
+  python boost_mpl_preprocess.py <path-to-boost-sourcedir>
+
+If the Boost source-directory is the one this script resides in, you
+can just call it without any arguments.
+
+  python boost_mpl_preprocess.py
+
+Either way, this will pre-process all four MPL-container types (vector,
+list, set, map) and makes them able to hold up to 100 elements. They can
+be used either in their 'numbered' or their 'variadic' form.
+
+Additionally, the script also allows more fine-grained pre-processing.
+The maximal number of elements an MPL-container type is able to hold can
+be different from the one of other MPL-container types and it can also
+differ between its 'numbered' and 'variadic' form.
+To see all options, call the script like this:
+
+  python boost_mpl_preprocess.py --help
+
+
+Fixing pre-processing of MPL-containers
+---------------------------------------
+
+Sadly, pre-processing of MPL-containers might fail, if the source-files
+used as input are missing some header-comments required during the pre-
+processing step.
+However, the script "boost_mpl_preprocess.py" makes sure to patch these
+input source-files prior to pre-processing (by implicitly calling script
+"fix_boost_mpl_preprocess.py" with the chosen settings). It only patches
+the source-files needed for pre-processing the selected MPL-container
+types and their selected form ('numbered' or 'variadic').
+If calling it with a single (or no) argument (as in the former section)
+all input source-files will be patched automatically.
+
+Instead of fixing the input-files implicitly during pre-processing one
+can also fix them explicitly by calling "fix_boost_mpl_preprocess.py"
+directly.
+If you just want to test if any fixing is needed call it like this:
+
+  python fix_boost_mpl_preprocess.py --check-only <path-to-boost-sourcedir>
+
+This will tell you if any fixing is needed. In such a case call the script
+"fix_boost_mpl_preprocess.py" like this:
+
+  python fix_boost_mpl_preprocess.py <path-to-boost-sourcedir>
+
+This will fix the header-comments of all the source-files needed during
+pre-processing. Calling "boost_mpl_preprocess.py" afterwards should then
+successfully pre-process the MPL-containers (without the need of implicitly
+fixing any files again).
+
+Note:
+Failure of pre-processing can be checked by examining at least one of the
+following directories in which automatically generated files will be put
+during pre-processing. If at least one file in these directories (or sub-
+directories therein) has a size of zero bytes, fixing is needed.
+
+ <path-to-boost-sourcedir>/boost/mpl/vector/aux_/preprocessed/
+ <path-to-boost-sourcedir>/boost/mpl/list/aux_/preprocessed/
+ <path-to-boost-sourcedir>/boost/mpl/set/aux_/preprocessed/
+ <path-to-boost-sourcedir>/boost/mpl/map/aux_/preprocessed/
+ <path-to-boost-sourcedir>/boost/mpl/aux_/preprocessed/
+

preprocessed/boost_mpl_preprocess.py

@@ -0,0 +1,244 @@
+# Copyright Deniz Bahadir 2015
+#
+# 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.
+# See http://stackoverflow.com/a/20660264/3115457 for further information.
+# See http://stackoverflow.com/a/29627158/3115457 for further information.
+
+import fix_boost_mpl_preprocess as fixmpl
+import argparse
+import sys
+import os
+import os.path
+import re
+import fileinput
+import shutil
+
+
+def create_more_container_files(sourceDir, suffix, maxElements, containers, containers2):
+    """Creates additional files for the individual MPL-containers."""
+
+    # Create files for each MPL-container with 20 to 'maxElements' elements
+    # which will be used during generation.
+    for container in containers:
+        for i in range(20, maxElements, 10):
+            # Create copy of "template"-file.
+            newFile = os.path.join( sourceDir, container, container + str(i+10) + suffix )
+            shutil.copyfile( os.path.join( sourceDir, container, container + "20" + suffix ), newFile ) 
+            # Adjust copy of "template"-file accordingly.
+            for line in fileinput.input( newFile, inplace=1, mode="rU" ):
+                line = re.sub(r'20', re.escape(str(i+10)), line.rstrip())
+                line = re.sub(r'11', re.escape(str(i + 1)), line.rstrip())
+                line = re.sub(r'10(?![0-9])', re.escape(str(i)), line.rstrip())
+                print(line)
+    for container in containers2:
+        for i in range(20, maxElements, 10):
+            # Create copy of "template"-file.
+            newFile = os.path.join( sourceDir, container, container + str(i+10) + "_c" + suffix )
+            shutil.copyfile( os.path.join( sourceDir, container, container + "20_c" + suffix ), newFile ) 
+            # Adjust copy of "template"-file accordingly.
+            for line in fileinput.input( newFile, inplace=1, mode="rU" ):
+                line = re.sub(r'20', re.escape(str(i+10)), line.rstrip())
+                line = re.sub(r'11', re.escape(str(i + 1)), line.rstrip())
+                line = re.sub(r'10(?![0-9])', re.escape(str(i)), line.rstrip())
+                print(line)
+
+
+def create_input_for_numbered_sequences(headerDir, sourceDir, containers, maxElements):
+    """Creates additional source- and header-files for the numbered sequence MPL-containers."""
+    # Create additional container-list without "map".
+    containersWithoutMap = containers[:]
+    try:
+        containersWithoutMap.remove('map')
+    except ValueError:
+        # We can safely ignore if "map" is not contained in 'containers'!
+        pass
+    # Create header/source-files.
+    create_more_container_files(headerDir, ".hpp", maxElements, containers, containersWithoutMap)
+    create_more_container_files(sourceDir, ".cpp", maxElements, containers, containersWithoutMap)
+
+
+def adjust_container_limits_for_variadic_sequences(headerDir, containers, maxElements):
+    """Adjusts the limits of variadic sequence MPL-containers."""
+    for container in containers:
+        headerFile = os.path.join( headerDir, "limits", container + ".hpp" )
+        regexMatch   = r'(define\s+BOOST_MPL_LIMIT_' + container.upper() + r'_SIZE\s+)[0-9]+'
+        regexReplace = r'\g<1>' + re.escape( str(maxElements) )
+        for line in fileinput.input( headerFile, inplace=1, mode="rU" ):
+            line = re.sub(regexMatch, regexReplace, line.rstrip())
+            print(line)
+
+
+def current_boost_dir():
+    """Returns the (relative) path to the Boost source-directory this file is located in (if any)."""
+    # Path to directory containing this script.
+    path = os.path.dirname( os.path.realpath(__file__) )
+    # Making sure it is located in "${boost-dir}/libs/mpl/preprocessed".
+    for directory in reversed( ["libs", "mpl", "preprocessed"] ):
+        (head, tail) = os.path.split(path)
+        if tail == directory:
+            path = head
+        else:
+            return None
+    return os.path.relpath( path )
+    
+
+
+def to_positive_multiple_of_10(string):
+    """Converts a string into its encoded positive integer (greater zero) or throws an exception."""
+    try:
+        value = int(string)
+    except ValueError:
+        msg = '"%r" is not a positive multiple of 10 (greater zero).' % string
+        raise argparse.ArgumentTypeError(msg)
+    if value <= 0 or value % 10 != 0:
+        msg = '"%r" is not a positive multiple of 10 (greater zero).' % string
+        raise argparse.ArgumentTypeError(msg)
+    return value
+
+
+def to_existing_absolute_path(string):
+    """Converts a path into its absolute path and verifies that it exists or throws an exception."""
+    value = os.path.abspath(string)
+    if not os.path.exists( value ) or not os.path.isdir( value ):
+        msg = '"%r" is not a valid path to a directory.' % string
+        raise argparse.ArgumentTypeError(msg)
+    return value
+
+
+def main():
+    """The main function."""
+    
+    # Find the current Boost source-directory in which this script is located.
+    sourceDir = current_boost_dir()
+    if sourceDir == None:
+        sourceDir = ""
+    
+    # Prepare and run cmdline-parser.
+    cmdlineParser = argparse.ArgumentParser(description="A generator-script for pre-processed Boost.MPL headers.")
+    cmdlineParser.add_argument("-v", "--verbose", dest='verbose', action='store_true',
+                               help="Be a little bit more verbose.")
+    cmdlineParser.add_argument("-s", "--sequence-type", dest='seqType', choices=['variadic', 'numbered', 'both'],
+                               default='both',
+                               help="Only update pre-processed headers for the selected sequence types, "
+                                    "either 'numbered' sequences, 'variadic' sequences or 'both' sequence "
+                                    "types. (Default=both)")
+    cmdlineParser.add_argument("--no-vector", dest='want_vector', action='store_false',
+                               help="Do not update pre-processed headers for Boost.MPL Vector.")
+    cmdlineParser.add_argument("--no-list", dest='want_list', action='store_false',
+                               help="Do not update pre-processed headers for Boost.MPL List.")
+    cmdlineParser.add_argument("--no-set", dest='want_set', action='store_false',
+                               help="Do not update pre-processed headers for Boost.MPL Set.")
+    cmdlineParser.add_argument("--no-map", dest='want_map', action='store_false',
+                               help="Do not update pre-processed headers for Boost.MPL Map.")
+    cmdlineParser.add_argument("--num-elements", dest='numElements', metavar="<num-elements>",
+                               type=to_positive_multiple_of_10, default=100,
+                               help="The maximal number of elements per container sequence. (Default=100)")
+    cmdlineParser.add_argument(dest='sourceDir', metavar="<source-dir>", default=current_boost_dir(), nargs='?',
+                               type=to_existing_absolute_path,
+                               help="The source-directory of Boost. (Default=\"" + sourceDir + "\")")
+    args = cmdlineParser.parse_args()
+
+    # Some verbose debug output.
+    if args.verbose:
+        print "Arguments extracted from command-line:"
+        print "  verbose          = ", args.verbose
+        print "  source directory = ", args.sourceDir
+        print "  num elements     = ", args.numElements
+        print "  sequence type    = ", args.seqType
+        print "  want: vector     = ", args.want_vector
+        print "  want: list       = ", args.want_list
+        print "  want: set        = ", args.want_set
+        print "  want: map        = ", args.want_map
+
+    # Verify that we received any source-directory.
+    if args.sourceDir == None:
+        print "You should specify a valid path to the Boost source-directory."
+        sys.exit(0)
+
+    # The directories for header- and source files of Boost.MPL.
+    # NOTE: Assuming 'args.sourceDir' is the source-directory of the entire boost project.
+    headerDir = os.path.join( args.sourceDir, "boost", "mpl" )
+    sourceDir = os.path.join( args.sourceDir, "libs", "mpl", "preprocessed" )
+    # Check that the header/source-directories exist.
+    if not os.path.exists( headerDir ) or not os.path.exists( sourceDir ):
+        # Maybe 'args.sourceDir' is not the source-directory of the entire boost project
+        # but instead of the Boost.MPL git-directory, only?
+        headerDir = os.path.join( args.sourceDir, "include", "boost", "mpl" )
+        sourceDir = os.path.join( args.sourceDir, "preprocessed" )
+        if not os.path.exists( headerDir ) or not os.path.exists( sourceDir ):
+            cmdlineParser.print_usage()
+            print "error: Cannot find Boost.MPL header/source files in given Boost source-directory!"
+            sys.exit(0)
+
+    # Some verbose debug output.
+    if args.verbose:
+        print "Chosen header-directory: ", headerDir
+        print "Chosen source-directory: ", sourceDir
+
+    # Create list of containers for which files shall be pre-processed.
+    containers = []
+    if args.want_vector:
+        containers.append('vector')
+    if args.want_list:
+        containers.append('list')
+    if args.want_set:
+        containers.append('set')
+    if args.want_map:
+        containers.append('map')
+    if containers == []:
+        print "Nothing to do."
+        print "(Why did you prevent generating pre-processed headers for all Boost.MPL container types?)"
+        sys.exit(0)
+
+    # Possibly fix the header-comments of input-files needed for pre-processing.
+    if args.verbose:
+        print "Checking if prior to pre-processing some input-files need fixing."
+    needFixing = fixmpl.check_input_files(headerDir, sourceDir, containers, args.seqType, args.verbose)
+    if needFixing:
+        if args.verbose:
+            print "Fixing of some input-files prior to pre-processing is needed."
+            print "Will fix them now!"
+        fixmpl.fix_input_files(headerDir, sourceDir, containers, args.seqType, args.verbose)
+
+    # Some verbose debug output.
+    if args.verbose:
+        print "Containers for which to pre-process headers: ", containers
+
+    # Create (additional) input files for generating pre-processed headers of numbered sequence MPL containers.
+    if args.seqType == "both" or args.seqType == "numbered":
+        create_input_for_numbered_sequences(headerDir, sourceDir, containers, args.numElements)
+    # Modify settings for generating pre-processed headers of variadic sequence MPL containers.
+    if args.seqType == "both" or args.seqType == "variadic":
+        adjust_container_limits_for_variadic_sequences(headerDir, containers, args.numElements)
+
+    # Generate MPL-preprocessed files.
+    os.chdir( sourceDir )
+    if args.seqType == "both" or args.seqType == "numbered":
+        if args.want_vector:
+            if args.verbose:
+                print "Pre-process headers for Boost.MPL numbered vectors."
+            os.system( "python " + os.path.join( sourceDir, "preprocess_vector.py" ) + " all " + args.sourceDir )
+        if args.want_list:
+            if args.verbose:
+                print "Pre-process headers for Boost.MPL numbered lists."
+            os.system( "python " + os.path.join( sourceDir, "preprocess_list.py" ) + " all " + args.sourceDir )
+        if args.want_set:
+            if args.verbose:
+                print "Pre-process headers for Boost.MPL numbered sets."
+            os.system( "python " + os.path.join( sourceDir, "preprocess_set.py" ) + " all " + args.sourceDir )
+        if args.want_map:
+            if args.verbose:
+                print "Pre-process headers for Boost.MPL numbered maps."
+            os.system( "python " + os.path.join( sourceDir, "preprocess_map.py" ) + " all " + args.sourceDir )
+    if args.seqType == "both" or args.seqType == "variadic":
+        if args.verbose:
+            print "Pre-process headers for Boost.MPL variadic containers."
+        os.system( "python " + os.path.join( sourceDir, "preprocess.py" ) + " all " + args.sourceDir )
+
+
+if __name__ == '__main__':
+    main()

preprocessed/fix_boost_mpl_preprocess.py

@@ -0,0 +1,205 @@
+# Copyright Deniz Bahadir 2015
+#
+# 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.
+# See http://stackoverflow.com/a/29627158/3115457 for further information.
+
+import argparse
+import sys
+import os.path
+import re
+import fileinput
+import datetime
+import glob
+
+
+def check_header_comment(filename):
+    """Checks if the header-comment of the given file needs fixing."""
+    # Check input file.
+    name = os.path.basename( filename )
+    # Read content of input file.
+    sourcefile = open( filename, "rU" )
+    content = sourcefile.read()
+    sourcefile.close()
+    # Search content for '$Id$'.
+    match = re.search(r'\$Id\$', content)
+    if match == None:
+        # Make sure that the correct value for '$Id$' was already set.
+        match = re.search(r'\$Id: ' + name + r'\s+[^$]+\$', content)
+        if match != None:
+            # The given file needs no fixing.
+            return False
+    # The given file needs fixing.
+    return True
+
+
+def check_input_files_for_variadic_seq(headerDir, sourceDir):
+    """Checks if files, used as input when pre-processing MPL-containers in their variadic form, need fixing."""
+    # Check input files in include/source-directories.
+    files  = glob.glob( os.path.join( headerDir, "*.hpp" ) )
+    files += glob.glob( os.path.join( headerDir, "aux_", "*.hpp" ) )
+    files += glob.glob( os.path.join( sourceDir, "src", "*" ) )
+    for currentFile in sorted( files ):
+        if check_header_comment( currentFile ):
+            return True
+    return False
+
+
+def check_input_files_for_numbered_seq(sourceDir, suffix, containers):
+    """Check if files, used as input when pre-processing MPL-containers in their numbered form, need fixing."""
+    # Check input files for each MPL-container type.
+    for container in containers:
+        files = glob.glob( os.path.join( sourceDir, container, container + '*' + suffix ) )
+        for currentFile in sorted( files ):
+            if check_header_comment( currentFile ):
+                return True
+    return False
+
+
+def check_input_files(headerDir, sourceDir, containers=['vector', 'list', 'set', 'map'],
+                      seqType='both', verbose=False):
+    """Checks if source- and header-files, used as input when pre-processing MPL-containers, need fixing."""
+    # Check the input files for containers in their variadic form.
+    result1 = False
+    if seqType == "both" or seqType == "variadic":
+        if verbose:
+            print "Check if input files for pre-processing Boost.MPL variadic containers need fixing."
+        result1 = check_input_files_for_variadic_seq(headerDir, sourceDir)
+        if verbose:
+            if result1:
+                print "  At least one input file needs fixing!"
+            else:
+                print "  No input file needs fixing!"
+    # Check the input files for containers in their numbered form.
+    result2 = False
+    result3 = False
+    if seqType == "both" or seqType == "numbered":
+        if verbose:
+            print "Check input files for pre-processing Boost.MPL numbered containers."
+        result2 = check_input_files_for_numbered_seq(headerDir, ".hpp", containers)
+        result3 = check_input_files_for_numbered_seq(sourceDir, ".cpp", containers)
+        if verbose:
+            if result2 or result3:
+                print "  At least one input file needs fixing!"
+            else:
+                print "  No input file needs fixing!"
+    # Return result.
+    return result1 or result2 or result3
+
+def fix_header_comment(filename, timestamp):
+    """Fixes the header-comment of the given file."""
+    # Fix input file.
+    name = os.path.basename( filename )
+    for line in fileinput.input( filename, inplace=1, mode="rU" ):
+        # If header-comment already contains anything for '$Id$', remove it.
+        line = re.sub(r'\$Id:[^$]+\$', r'$Id$', line.rstrip())
+        # Replace '$Id$' by a string containing the file's name (and a timestamp)!
+        line = re.sub(re.escape(r'$Id$'), r'$Id: ' + name + r' ' + timestamp.isoformat() + r' $', line.rstrip())
+        print(line)
+
+
+def fix_input_files_for_variadic_seq(headerDir, sourceDir, timestamp):
+    """Fixes files used as input when pre-processing MPL-containers in their variadic form."""
+    # Fix files in include/source-directories.
+    files  = glob.glob( os.path.join( headerDir, "*.hpp" ) )
+    files += glob.glob( os.path.join( headerDir, "aux_", "*.hpp" ) )
+    files += glob.glob( os.path.join( sourceDir, "src", "*" ) )
+    for currentFile in sorted( files ):
+        fix_header_comment( currentFile, timestamp )
+
+
+def fix_input_files_for_numbered_seq(sourceDir, suffix, timestamp, containers):
+    """Fixes files used as input when pre-processing MPL-containers in their numbered form."""
+    # Fix input files for each MPL-container type.
+    for container in containers:
+        files = glob.glob( os.path.join( sourceDir, container, container + '*' + suffix ) )
+        for currentFile in sorted( files ):
+            fix_header_comment( currentFile, timestamp )
+
+
+def fix_input_files(headerDir, sourceDir, containers=['vector', 'list', 'set', 'map'],
+                    seqType='both', verbose=False):
+    """Fixes source- and header-files used as input when pre-processing MPL-containers."""
+    # The new modification time.
+    timestamp = datetime.datetime.now();
+    # Fix the input files for containers in their variadic form.
+    if seqType == "both" or seqType == "variadic":
+        if verbose:
+            print "Fix input files for pre-processing Boost.MPL variadic containers."
+        fix_input_files_for_variadic_seq(headerDir, sourceDir, timestamp)
+    # Fix the input files for containers in their numbered form.
+    if seqType == "both" or seqType == "numbered":
+        if verbose:
+            print "Fix input files for pre-processing Boost.MPL numbered containers."
+        fix_input_files_for_numbered_seq(headerDir, ".hpp", timestamp, containers)
+        fix_input_files_for_numbered_seq(sourceDir, ".cpp", timestamp, containers)
+
+
+def to_existing_absolute_path(string):
+    """Converts a path into its absolute path and verifies that it exists or throws an exception."""
+    value = os.path.abspath(string)
+    if not os.path.exists( value ) or not os.path.isdir( value ):
+        msg = '"%r" is not a valid path to a directory.' % string
+        raise argparse.ArgumentTypeError(msg)
+    return value
+
+
+def main():
+    """The main function."""
+
+    # Prepare and run cmdline-parser.
+    cmdlineParser = argparse.ArgumentParser(
+                    description="Fixes the input files used for pre-processing of Boost.MPL headers.")
+    cmdlineParser.add_argument("-v", "--verbose", dest='verbose', action='store_true',
+                               help="Be a little bit more verbose.")
+    cmdlineParser.add_argument("--check-only", dest='checkonly', action='store_true',
+                               help="Only checks if fixing is required.")
+    cmdlineParser.add_argument(dest='sourceDir', metavar="<source-dir>",
+                               type=to_existing_absolute_path,
+                               help="The source-directory of Boost.")
+    args = cmdlineParser.parse_args()
+
+    # Some verbose debug output.
+    if args.verbose:
+        print "Arguments extracted from command-line:"
+        print "  verbose           = ", args.verbose
+        print "  check-only        = ", args.checkonly
+        print "  source directory  = ", args.sourceDir
+
+    # The directories for header- and source files of Boost.MPL.    
+    # NOTE: Assuming 'args.sourceDir' is the source-directory of the entire boost project.
+    headerDir = os.path.join( args.sourceDir, "boost", "mpl" )
+    sourceDir = os.path.join( args.sourceDir, "libs", "mpl", "preprocessed" )
+    # Check that the header/source-directories exist.
+    if not os.path.exists( headerDir ) or not os.path.exists( sourceDir ):
+        # Maybe 'args.sourceDir' is not the source-directory of the entire boost project
+        # but instead of the Boost.MPL git-directory, only?
+        headerDir = os.path.join( args.sourceDir, "include", "boost", "mpl" )
+        sourceDir = os.path.join( args.sourceDir, "preprocessed" )
+        if not os.path.exists( headerDir ) or not os.path.exists( sourceDir ):
+            cmdlineParser.print_usage()
+            print "error: Cannot find Boost.MPL header/source files in given Boost source-directory!"
+            sys.exit(0)
+
+    # Some verbose debug output.
+    if args.verbose:
+        print "Chosen header-directory: ", headerDir
+        print "Chosen source-directory: ", sourceDir
+
+    if args.checkonly:
+        # Check input files for generating pre-processed headers.
+        result = check_input_files(headerDir, sourceDir, verbose = args.verbose)
+        if result:
+            print "Fixing the input-files used for pre-processing of Boost.MPL headers IS required."
+        else:
+            print "Fixing the input-files used for pre-processing of Boost.MPL headers is NOT required."
+    else:
+        # Fix input files for generating pre-processed headers.
+        fix_input_files(headerDir, sourceDir, verbose = args.verbose)
+
+
+if __name__ == '__main__':
+    main()

preprocessed/include/msvc60/user.hpp

@@ -1,26 +0,0 @@
-
-// Copyright Aleksey Gurtovoy 2003-2004
-//
-// 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.
-
-// $Id$
-// $Date$
-// $Revision$
-
-#define BOOST_NO_CONFIG
-#define BOOST_MSVC 1200
-#define BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
-#define BOOST_NO_INCLASS_MEMBER_INITIALIZATION
-#define BOOST_NO_TEMPLATE_TEMPLATES
-#define BOOST_NO_CV_VOID_SPECIALIZATIONS
-#define BOOST_NO_INTRINSIC_WCHAR_T
-#define BOOST_NO_STD_ALLOCATOR
-#define BOOST_MPL_CFG_NO_BIND_TEMPLATE
-#define BOOST_MPL_CFG_NO_APPLY_TEMPLATE
-#define BOOST_MPL_CFG_MSVC_60_ETI_BUG
-#define BOOST_MPL_CFG_MSVC_ETI_BUG
-#define BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC

preprocessed/include/msvc70/user.hpp

@@ -1,21 +0,0 @@
-
-// Copyright Aleksey Gurtovoy 2003-2004
-//
-// 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.
-
-// $Id$
-// $Date$
-// $Revision$
-
-#define BOOST_NO_CONFIG
-#define BOOST_MSVC 1300
-#define BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
-#define BOOST_NO_INCLASS_MEMBER_INITIALIZATION
-#define BOOST_MPL_CFG_NO_BIND_TEMPLATE
-#define BOOST_MPL_CFG_NO_APPLY_TEMPLATE
-#define BOOST_MPL_CFG_MSVC_ETI_BUG
-#define BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC

preprocessed/include/no_ctps/user.hpp

@@ -1,15 +0,0 @@
-
-// Copyright Aleksey Gurtovoy 2003-2004
-//
-// 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.
-
-// $Id$
-// $Date$
-// $Revision$
-
-#define BOOST_NO_CONFIG
-#define BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION

preprocessed/preprocess.py

@@ -82,7 +82,7 @@ def main( all_modes, src_dir, dst_dir ):
 if __name__ == '__main__':
     
     main(
-          ["bcc", "bcc551", "gcc", "msvc60", "msvc70", "mwcw", "dmc", "no_ctps", "no_ttp", "plain"]
+          ["bcc", "bcc551", "gcc", "mwcw", "dmc", "no_ttp", "plain"]
         , "src"
         , os.path.join( "boost", "mpl", "aux_", "preprocessed" )
         )

preprocessed/preprocess_map.py

@@ -15,7 +15,7 @@ import preprocess
 import os.path
 
 preprocess.main(
-      [ "plain", "typeof_based", "no_ctps" ]
+      [ "plain", "typeof_based" ]
     , "map"
     , os.path.join( "boost", "mpl", "map", "aux_", "preprocessed" )
     )

preprocessed/preprocess_vector.py

@@ -15,7 +15,7 @@ import preprocess
 import os.path
 
 preprocess.main(
-      [ "no_ctps", "plain", "typeof_based" ]
+      [ "plain", "typeof_based" ]
     , "vector"
     , os.path.join( "boost", "mpl", "vector", "aux_", "preprocessed" )
     )

test/Jamfile.v2

@@ -1,4 +1,5 @@
 
+compile aux_/increased_arity.cpp ;
 compile aux_/largest_int.cpp ;
 compile aux_/msvc_is_class.cpp ;
 compile aux_/template_arity.cpp ;

test/apply.cpp

@@ -76,7 +76,7 @@ MPL_TEST_CASE()
 
     typedef apply1< _1, std_vector<_1> >::type v_lambda;
     typedef apply1<v_lambda,int>::type v_int;
-    MPL_ASSERT(( is_same< v,std_vector<int> > ));
+    MPL_ASSERT(( is_same< v_int,std_vector<int> > ));
 }
 
 MPL_TEST_CASE()
@@ -86,7 +86,7 @@ MPL_TEST_CASE()
 
     typedef apply1< lambda<_1>, std_vector<_1> >::type make_vector;
     typedef apply_wrap1< make_vector,int >::type v_int;
-    MPL_ASSERT(( is_same< v,std_vector<int> > ));
+    MPL_ASSERT(( is_same< v_int,std_vector<int> > ));
 }
 
 MPL_TEST_CASE()

test/aux_/increased_arity.cpp

@@ -0,0 +1,50 @@
+
+// Copyright Bruno Dutra 2015
+//
+// 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.
+
+// $Id$
+// $Date$
+// $Revision$
+
+#define BOOST_MPL_LIMIT_METAFUNCTION_ARITY 15
+#define BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
+
+#include <boost/mpl/logical.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/apply.hpp>
+
+#include <boost/mpl/aux_/test.hpp>
+
+#include <boost/preprocessor/inc.hpp>
+#include <boost/preprocessor/repeat_from_to.hpp>
+#include <boost/preprocessor/enum_params.hpp>
+#include <boost/preprocessor/facilities/intercept.hpp>
+
+#define TEST_N_ARY(unused1, N, unused2) \
+    static_assert_< \
+        apply< \
+            and_<BOOST_PP_ENUM_PARAMS(N, _ BOOST_PP_INTERCEPT)>, \
+            BOOST_PP_ENUM_PARAMS(N, true_ BOOST_PP_INTERCEPT) \
+        > \
+    >(); \
+/**/
+
+template<typename assertion>
+void static_assert_(){
+    MPL_ASSERT((typename assertion::type));
+}
+
+MPL_TEST_CASE()
+{
+    BOOST_PP_REPEAT_FROM_TO(
+        2,
+        BOOST_PP_INC(BOOST_MPL_LIMIT_METAFUNCTION_ARITY),
+        TEST_N_ARY,
+        _
+    )
+}

test/empty_sequence.cpp

@@ -17,6 +17,7 @@
 #include <boost/mpl/distance.hpp>
 #include <boost/mpl/advance.hpp>
 #include <boost/mpl/begin_end.hpp>
+#include <boost/mpl/equal.hpp>
 #include <boost/mpl/aux_/test.hpp>
 
 #include <boost/type_traits/is_same.hpp>
@@ -33,4 +34,6 @@ MPL_TEST_CASE()
 
     typedef advance_c<begin,0>::type advanced;
     MPL_ASSERT(( is_same<advanced,end> ));
+
+    MPL_ASSERT(( equal< empty_sequence, empty_sequence::type > ));
 }

test/filter_view.cpp

@@ -18,6 +18,7 @@
 #include <boost/mpl/list.hpp>
 #include <boost/mpl/sizeof.hpp>
 #include <boost/mpl/deref.hpp>
+#include <boost/mpl/equal.hpp>
 #include <boost/mpl/aux_/test.hpp>
 
 #include <boost/type_traits/is_float.hpp>
@@ -26,6 +27,10 @@
 MPL_TEST_CASE()
 {
     typedef mpl::list<int,float,long,float,char[50],long double,char> types;
+    typedef mpl::list<float,float,long double> floats;
+
+    MPL_ASSERT(( equal< mpl::filter_view< types,boost::is_float<_> >::type,floats > ));
+
     typedef mpl::max_element<
           mpl::transform_view<
               mpl::filter_view< types,boost::is_float<_> >

test/insert_range.cpp

@@ -15,9 +15,17 @@
 #include <boost/mpl/find.hpp>
 #include <boost/mpl/vector_c.hpp>
 #include <boost/mpl/list.hpp>
+#include <boost/mpl/set.hpp>
+#include <boost/mpl/set_c.hpp>
+#include <boost/mpl/map.hpp>
 #include <boost/mpl/size.hpp>
 #include <boost/mpl/range_c.hpp>
 #include <boost/mpl/equal.hpp>
+#include <boost/mpl/fold.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/logical.hpp>
+#include <boost/mpl/contains.hpp>
+#include <boost/mpl/joint_view.hpp>
 
 #include <boost/mpl/aux_/test.hpp>
 
@@ -33,3 +41,33 @@ MPL_TEST_CASE()
     typedef insert_range< list0<>,end< list0<> >::type,list1<int> >::type result2;
     MPL_ASSERT_RELATION( size<result2>::value, ==, 1 );
 }
+
+template<typename A, typename B>
+void test_associative()
+{
+    typedef typename insert_range< A,typename end< A >::type,B >::type C;
+
+    MPL_ASSERT_RELATION( size<C>::value, <=, (size<A>::value + size<B>::value) );
+    MPL_ASSERT(( fold< joint_view< A,B >,true_,and_< _1,contains< C,_2 > > > ));
+}
+
+MPL_TEST_CASE()
+{
+    typedef set3< short,int,long > signed_integers;
+    typedef set3< unsigned short,unsigned int,unsigned long > unsigned_integers;
+    test_associative<signed_integers, unsigned_integers>();
+
+    typedef set_c< int,1,3,5,7,9 > odds;
+    typedef set_c< int,0,2,4,6,8 > evens;
+    test_associative<odds, evens>();
+
+    typedef map2<
+              pair< void,void* >
+            , pair< int,int* >
+            > pointers;
+    typedef map2<
+              pair< void const,void const* >
+            , pair< int const,int const* >
+            > pointers_to_const;
+    test_associative<pointers, pointers_to_const>();
+}

test/joint_view.cpp

@@ -30,6 +30,7 @@ MPL_TEST_CASE()
     typedef range_c<int,0,15> answer;
 
     MPL_ASSERT(( equal<numbers,answer> ));
+    MPL_ASSERT(( equal<numbers::type,answer> ));
     MPL_ASSERT_RELATION( size<numbers>::value, ==, 15 );
 }
 

test/map.cpp

@@ -217,3 +217,19 @@ MPL_TEST_CASE()
         >
     ));
 }
+
+MPL_TEST_CASE()
+{
+    typedef insert< map<>, pair<int,int> >::type little_map;
+
+    MPL_ASSERT_RELATION(size<little_map>::value, ==, 1);
+    MPL_ASSERT_RELATION(size<little_map::type>::value, ==, 1);
+}
+
+MPL_TEST_CASE()
+{
+    typedef erase_key< map< pair<float,float>, pair<int,int> >, float >::type little_map;
+
+    MPL_ASSERT_RELATION(size<little_map>::value, ==, 1);
+    MPL_ASSERT_RELATION(size<little_map::type>::value, ==, 1);
+}

test/set.cpp

@@ -329,3 +329,19 @@ MPL_TEST_CASE()
     find_test<s>();
     find_test<s::type>();
 }
+
+MPL_TEST_CASE()
+{
+    typedef insert< set<>, int >::type little_set;
+
+    MPL_ASSERT_RELATION(size<little_set>::value, ==, 1);
+    MPL_ASSERT_RELATION(size<little_set::type>::value, ==, 1);
+}
+
+MPL_TEST_CASE()
+{
+    typedef erase_key< set< float, int >, float >::type little_set;
+
+    MPL_ASSERT_RELATION(size<little_set>::value, ==, 1);
+    MPL_ASSERT_RELATION(size<little_set::type>::value, ==, 1);
+}

test/single_view.cpp

@@ -15,6 +15,7 @@
 #include <boost/mpl/advance.hpp>
 #include <boost/mpl/size.hpp>
 #include <boost/mpl/begin_end.hpp>
+#include <boost/mpl/equal.hpp>
 #include <boost/mpl/aux_/test.hpp>
 
 MPL_TEST_CASE()
@@ -37,4 +38,6 @@ MPL_TEST_CASE()
     MPL_ASSERT_RELATION( (mpl::distance<last,last>::value), ==, 0 );
 
     MPL_ASSERT_RELATION( size<view>::value, ==, 1 );
+
+    MPL_ASSERT(( equal< view, view::type > ));
 }

test/transform_view.cpp

@@ -16,12 +16,22 @@
 #include <boost/mpl/max_element.hpp>
 #include <boost/mpl/list.hpp>
 #include <boost/mpl/sizeof.hpp>
+#include <boost/mpl/equal.hpp>
 #include <boost/mpl/aux_/test.hpp>
 
-
 MPL_TEST_CASE()
 {
     typedef list<int,long,char,char[50],double> types;
+    typedef list<
+        sizeof_<int>::type,
+        sizeof_<long>::type,
+        sizeof_<char>::type,
+        sizeof_<char[50]>::type,
+        sizeof_<double>::type
+    > sizes;
+
+    MPL_ASSERT(( equal< transform_view< types, sizeof_<_> >::type,sizes > ));
+
     typedef max_element<
           transform_view< types, sizeof_<_> >
         >::type iter;