Changes in src/ResolvExpr/CommonType.cc [9d1e3f7:53452de]

File:

• src/ResolvExpr/CommonType.cc (modified) (5 diffs)

src/ResolvExpr/CommonType.cc

@@ -27 +27 @@
 #include "typeops.h"                     // for isFtype
 
-#define DEBUG
-#ifdef DEBUG
-#define PRINT(x) x
-#else
-#define PRINT(x)
-#endif
+// #define DEBUG
 
 namespace ResolvExpr {
@@ -75 +70 @@
                 // need unify to bind type variables
                 if ( unify( t1, t2, env, have, need, newOpen, indexer, common ) ) {
-                        PRINT(
-                                std::cerr << "unify success: " << widenFirst << " " << widenSecond << std::endl;
-                        )
+                        // std::cerr << "unify success: " << widenFirst << " " << widenSecond << std::endl;
                         if ( (widenFirst || t2->get_qualifiers() <= t1->get_qualifiers()) && (widenSecond || t1->get_qualifiers() <= t2->get_qualifiers()) ) {
-                                PRINT(
-                                        std::cerr << "widen okay" << std::endl;
-                                )
+                                // std::cerr << "widen okay" << std::endl;
                                 common->get_qualifiers() |= t1->get_qualifiers();
                                 common->get_qualifiers() |= t2->get_qualifiers();
@@ -87 +78 @@
                         }
                 }
-                PRINT(
-                        std::cerr << "exact unify failed: " << t1 << " " << t2 << std::endl;
-                )
+                // std::cerr << "exact unify failed: " << t1 << " " << t2 << std::endl;
                 return nullptr;
         }
@@ -105 +94 @@
                         // special case where one type has a reference depth of 1 larger than the other
                         if ( diff > 0 || diff < 0 ) {
-                                PRINT(
-                                        std::cerr << "reference depth diff: " << diff << std::endl;
-                                )
+                                // std::cerr << "reference depth diff: " << diff << std::endl;
                                 Type * result = nullptr;
                                 ReferenceType * ref1 = dynamic_cast< ReferenceType * >( type1 );
@@ -122 +109 @@
                                 if ( result && ref1 ) {
                                         // formal is reference, so result should be reference
-                                        PRINT(
-                                                std::cerr << "formal is reference; result should be reference" << std::endl;
-                                        )
+                                        // std::cerr << "formal is reference; result should be reference" << std::endl;
                                         result = new ReferenceType( ref1->get_qualifiers(), result );
                                 }
-                                PRINT(
-                                        std::cerr << "common type of reference [" << type1 << "] and [" << type2 << "] is [" << result << "]" << std::endl;
-                                )
+                                // std::cerr << "common type of reference [" << type1 << "] and [" << type2 << "] is [" << result << "]" << std::endl;
                                 return result;
                         }