From 918eb7c5ae9ec56d998fe931cc437cb626fe5cb4 Mon Sep 17 00:00:00 2001
From: Akim Demaille <demaille@gostai.com>
Date: Mon, 18 Aug 2008 22:53:15 +0200
Subject: [PATCH] Use string_cast in the bench.

	* etc/bench.pl.in (generate_grammar_list): Define and use
	string_cast.
---
 ChangeLog       |  6 ++++++
 etc/bench.pl.in | 24 +++++++++++++-----------
 2 files changed, 19 insertions(+), 11 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 41c24908..4216d429 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-11-11  Akim Demaille  <demaille@gostai.com>
+
+	Use string_cast in the bench.
+	* etc/bench.pl.in (generate_grammar_list): Define and use
+	string_cast.
+
 2008-11-11  Akim Demaille  <demaille@gostai.com>
 
 	Replace yychar with a Boolean.
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index 0e536290..1ee98b7f 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -615,6 +615,17 @@ static yy::parser::token_type yylex(yy::parser::semantic_type* yylval);
 #else
 # define IF_ONE_STAGE_BUILD(True, False) False
 #endif
+
+  // Conversion to string.
+  template <typename T>
+    inline
+    std::string
+    string_cast (const T& t)
+  {
+    std::ostringstream o;
+    o << t;
+    return o.str ();
+  }
 }
 EOF
 
@@ -636,11 +647,7 @@ result:
 text:
   /* nothing */		{ /* This will generate an empty string */ }
 | text TEXT		{ std::swap ($$, $2); }
-| text NUMBER		{
-			  std::ostringstream ss;
-			  ss << ' ' << $2;
-			  $$ = ss.str();
-			 }
+| text NUMBER		{ $$ = string_cast($2); }
 ;
 EOF
     }
@@ -664,12 +671,7 @@ result:
 text:
   /* nothing */		{ $$ = new std::string; }
 | text TEXT		{ delete $1; $$ = $2; }
-| text NUMBER		{
-                          delete $1;
-                          std::ostringstream ss;
-			  ss << ' ' << $2;
-			  $$ = new std::string (ss.str());
-			 }
+| text NUMBER		{ delete $1; $$ = new std::string (string_cast ($2)); }
 ;
 EOF
     }
-- 
2.45.2