fix debugPrintNode(), debugPrintTNode(), debugPrintNodeValue(), debugPrintTypeNode...

diff --git a/src/expr/node.h b/src/expr/node.h
index 1427bb9c2f1633099313ca6b6c144d8d2fa73475..6089eea4d09dc8eb795ce84fda5849073edf38b5 100644 (file)
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -1127,7 +1127,9 @@ Node NodeTemplate<ref_count>::substitute(Iterator1 nodesBegin,
  * to meet. A cleaner solution is welcomed.
  */
 static void __attribute__((used)) debugPrintNode(const NodeTemplate<true>& n) {
-  Warning() << Node::setdepth(-1) << n << std::endl;
+  Warning() << Node::setdepth(-1)
+            << Node::setlanguage(language::output::LANG_AST)
+            << n << std::endl;
   Warning().flush();
 }
 static void __attribute__((used)) debugPrintRawNode(const NodeTemplate<true>& n) {
@@ -1136,7 +1138,9 @@ static void __attribute__((used)) debugPrintRawNode(const NodeTemplate<true>& n)
 }
 
 static void __attribute__((used)) debugPrintTNode(const NodeTemplate<false>& n) {
-  Warning() << Node::setdepth(-1) << n << std::endl;
+  Warning() << Node::setdepth(-1)
+            << Node::setlanguage(language::output::LANG_AST)
+            << n << std::endl;
   Warning().flush();
 }
 static void __attribute__((used)) debugPrintRawTNode(const NodeTemplate<false>& n) {

diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index a42f39e15ddb8e74186ebaac87967fceffb284fb..1256ec64f92e0d327f16f5e970d355602d84cd83 100644 (file)
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -471,7 +471,9 @@ inline std::ostream& operator<<(std::ostream& out, const NodeValue& nv) {
  * flushes the stream.
  */
 static void __attribute__((used)) debugPrintNodeValue(const expr::NodeValue* nv) {
-  Warning() << Node::setdepth(-1) << *nv << std::endl;
+  Warning() << Node::setdepth(-1)
+            << Node::setlanguage(language::output::LANG_AST)
+            << *nv << std::endl;
   Warning().flush();
 }
 

diff --git a/src/expr/type_node.h b/src/expr/type_node.h
index cc368e8c0bb22ee90582f10c1120d835766ab514..27cedf00dfb6c72adea76374435555844957e81a 100644 (file)
--- a/src/expr/type_node.h
+++ b/src/expr/type_node.h
@@ -567,7 +567,9 @@ inline void TypeNode::printAst(std::ostream& out, int indent) const {
  * to meet. A cleaner solution is welcomed.
  */
 static void __attribute__((used)) debugPrintTypeNode(const TypeNode& n) {
-  Warning() << Node::setdepth(-1) << n << std::endl;
+  Warning() << Node::setdepth(-1)
+            << Node::setlanguage(language::output::LANG_AST)
+            << n << std::endl;
   Warning().flush();
 }
 static void __attribute__((used)) debugPrintRawTypeNode(const TypeNode& n) {