boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-08-03 06:44:37 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix errors reported by John Torjo <john-at-torjo.com>.

Browse Source 
[SVN r18824]
This commit is contained in:
Dave Abrahams
2003-06-17 14:16:16 +00:00
parent 65605933d4
commit 567c490a97
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/paper/src/metafunctions.sgml
View File

@@ -29,7 +29,7 @@ However, this model is far too limiting: it restricts the metafunction result no
template< typename T1, typename T2 > template< typename T1, typename T2 >
struct derive struct derive
{ {
struct type : N1, N2 {}; struct type : T1, T2 {};
}; };
// silly specialization, but demonstrates "returning" int // silly specialization, but demonstrates "returning" int
@@ -58,7 +58,7 @@ While syntactically simple, the simple template metafunction form does not alway
<![CDATA[ <![CDATA[
// returns F(T1,F(T2,T3)) // returns F(T1,F(T2,T3))
template< template<
template<typename> class F template<typename,typename> class F
, typename T1 , typename T1
, typename T2 , typename T2
, typename T3 , typename T3
@@ -94,7 +94,7 @@ However, things begin to break down noticeably when we want to <quote>return</>
<programlisting> <programlisting>
<![CDATA[ <![CDATA[
// returns G s.t. G(T1,T2,T3) == F(T1,F(T2,T3)) // returns G s.t. G(T1,T2,T3) == F(T1,F(T2,T3))
template< template<typename> class F > template< template<typename,typename> class F >
struct compose_self struct compose_self
{ {
template< template<