[Boost-commit] svn:boost r56321 - trunk/libs/proto/doc

Subject: [Boost-commit] svn:boost r56321 - trunk/libs/proto/doc
From: eric_at_[hidden]
Date: 2009-09-20 11:09:29

Author: eric_niebler
Date: 2009-09-20 11:09:28 EDT (Sun, 20 Sep 2009)
New Revision: 56321
URL: http://svn.boost.org/trac/boost/changeset/56321

Log:
const-qualify return type of pow() function
Text files modified: 
   trunk/libs/proto/doc/front_end.qbk |     8 ++++----                                
   1 files changed, 4 insertions(+), 4 deletions(-)

Modified: trunk/libs/proto/doc/front_end.qbk
==============================================================================
--- trunk/libs/proto/doc/front_end.qbk	(original)
+++ trunk/libs/proto/doc/front_end.qbk	2009-09-20 11:09:28 EDT (Sun, 20 Sep 2009)
@@ -169,7 +169,7 @@
     typename proto::function<
         typename proto::terminal<pow_fun<Exp> >::type
       , Arg const &
-    >::type
+    >::type const
     pow(Arg const &arg)
     {
         typedef
@@ -214,7 +214,7 @@
     typename proto::function<
         typename proto::terminal<pow_fun<Exp> >::type
       , Arg const & // <=== ERROR! This may not be a Proto type!
-    >::type
+    >::type const
     pow(Arg const &arg)
 
 What we want is a way to make `Arg` into a Proto terminal if it is not a Proto expression already, and leave it alone if it is. For that, we can use _as_child_. The following implementation of the `pow()` function handles all argument types, expression templates or otherwise.
@@ -226,7 +226,7 @@
     typename proto::function<
         typename proto::terminal<pow_fun<Exp> >::type
       , typename proto::result_of::as_child<Arg const>::type
-    >::type
+    >::type const
     pow(Arg const &arg)
     {
         typedef
@@ -255,7 +255,7 @@
         proto::tag::function  // Tag type
       , pow_fun<Exp>          // First child (by value)
       , Arg const &           // Second child (by reference)
-    >::type
+    >::type const
     pow(Arg const &arg)
     {
         return proto::make_expr<proto::tag::function>(