--- a/absyntax_utils/debug_ast.cc	Wed Nov 14 15:25:03 2012 +0000
+++ b/absyntax_utils/debug_ast.cc	Wed Nov 14 18:37:42 2012 +0000
@@ -114,7 +114,11 @@
   } else {
     fprintf(stderr, "(%d)\t\t\t\t\t", symbol->candidate_datatypes.size());
   }
-  fprintf(stderr, "}\t");          
+  fprintf(stderr, "}\t");         
+  
+  /* print the const values... */
+  fprintf(stderr, " constv{f=%f, i=%lld, u=%llu, b=%d}\t", symbol->const_value._real64.value, symbol->const_value._int64.value, symbol->const_value._uint64.value, symbol->const_value._bool.value);
+  
 }