diff --git a/doc/index.html b/doc/index.html index fbf1c0d..2775995 100644 --- a/doc/index.html +++ b/doc/index.html @@ -2,7 +2,7 @@ -The Boost MPL Library +THE BOOST MPL LIBRARY @@ -11,7 +11,7 @@
-

The Boost MPL Library

+

THE BOOST MPL LIBRARY

@@ -69,7 +69,7 @@
-

The latest library sources are available from:

- -
- -
- -

The library also requires the latest version of Boost Preprocessor library, that can be also obtained from boost CVS or from here - http://www.mywikinet.com/mpl/preprocessor_19_jul_02.zip.

- -

A full archive that contains the library itself + all its dependencies - and therefore can be installed over a clean Boost 1.28 distribution - is available from here - http://www.mywikinet.com/mpl/mpl_23_jul_02_full.zip.

+

The latest library sources are available from the main trunk of the Boost CVS. Boost 1.29 distribution contains a couple months old version of the library.

@@ -275,7 +263,7 @@ Error: name followed by "::" must be a class or namespace name

because the expression typename T::element_type is not valid in case of T == char*.

-

Here's what we need to do to make pointed_type work for plain pointers: 1 instead of instantiating our two potential results before passing them to if_, we need to write metafunctions that can be used to instantiate the results; then we can use if_ to choose a metafunction, and only then should we use that function to get the result.

+

Here's what we need to do to make pointed_type work for plain pointers: 1 instead of instantiating our two potential results before passing them to if_, we need to write metafunctions that can be used to instantiate the results; then we can use if_ to choose a metafunction, and only then should we use that function to get the result.

boost::remove_pointer already is a metafunction. We just need to write an auxiliary function to return the element_type of a pointer type:

@@ -491,7 +479,7 @@ struct remove_pointer_if


-

1 It would be easy to implement pointed_type using partial specialization to distinguish the case where T is a pointer. if_ is used here to avoid creating a complicated example.

+

1 It would be easy to implement pointed_type using partial specialization to distinguish the case where T is a pointer. if_ is used here to avoid creating a complicated example.