Changeset cd6a6ff for src/AST

Timestamp:

Dec 3, 2020, 10:44:40 AM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

1db306a

Parents:

b37515b

Message:

Improved coverage of deterministic_output to be much finer grain.

Location:

src/AST

Files:

• Print.cpp (modified) (3 diffs)
• Type.cpp (modified) (2 diffs)
• Type.hpp (modified) (1 diff)
• TypeEnvironment.cpp (modified) (2 diffs)

src/AST/Print.cpp ¶

@@ -205 +205 @@
 
         void preprint( const ast::NamedTypeDecl * node ) {
-                if ( ! node->name.empty() ) os << node->name << ": ";
+                if ( ! node->name.empty() ) {
+                        if( deterministic_output && isUnboundType(node->name) ) os << "[unbound]:";
+                        else os << node->name << ": ";
+                }
 
                 if ( ! short_mode && node->linkage != Linkage::Cforall ) {
@@ -240 +243 @@
 
                 if ( node->result ) {
-                        if (!deterministic_output) {
-                                os << endl << indent << "... with resolved type:" << endl;
-                                ++indent;
-                                os << indent;
-                                node->result->accept( *this );
-                                --indent;
-                        }
+                        os << endl << indent << "... with resolved type:" << endl;
+                        ++indent;
+                        os << indent;
+                        node->result->accept( *this );
+                        --indent;
                 }
 
@@ -1382 +1383 @@
         virtual const ast::Type * visit( const ast::TypeInstType * node ) override final {
                 preprint( node );
-                os << "instance of type " << node->name
+                const auto & _name = deterministic_output && isUnboundType(node) ? "[unbound]" : node->name;
+                os << "instance of type " << _name
                    << " (" << (node->kind == ast::TypeDecl::Ftype ? "" : "not ") << "function type)";
                 print( node->params );

src/AST/Type.cpp ¶

@@ -133 +133 @@
 
 BaseInstType::BaseInstType( const BaseInstType & o )
-: ParameterizedType( o.qualifiers, copy( o.attributes ) ), params(), name( o.name ), 
+: ParameterizedType( o.qualifiers, copy( o.attributes ) ), params(), name( o.name ),
   hoistType( o.hoistType ) {
         Pass< ForallSubstitutor > sub;
@@ -222 +222 @@
                 // TODO: once TypeInstType representation is updated, it should properly check
                 // if the context id is filled. this is a temporary hack for now
-                if (std::count(typeInst->name.begin(), typeInst->name.end(), '_') >= 3) {
-                        return true;
-                }
+                return isUnboundType(typeInst->name);
+        }
+        return false;
+}
+
+bool isUnboundType(const std::string & tname) {
+        // xxx - look for a type name produced by renameTyVars.
+
+        // TODO: once TypeInstType representation is updated, it should properly check
+        // if the context id is filled. this is a temporary hack for now
+        if (std::count(tname.begin(), tname.end(), '_') >= 3) {
+                return true;
         }
         return false;

src/AST/Type.hpp ¶

@@ -536 +536 @@
 
 bool isUnboundType(const Type * type);
+bool isUnboundType(const std::string & tname);
 
 }

src/AST/TypeEnvironment.cpp ¶

@@ -34 +34 @@
 #include "ResolvExpr/Unify.h"      // for unifyInexact
 #include "Tuples/Tuples.h"         // for isTtype
+#include "CompilationState.h"
 
 using ResolvExpr::WidenMode;
@@ -56 +57 @@
 
 void print( std::ostream & out, const EqvClass & clz, Indenter indent ) {
-        out << "( ";
-        std::copy( clz.vars.begin(), clz.vars.end(), std::ostream_iterator< std::string >( out, " " ) );
+        out << "(";
+        bool first = true;
+        for(const auto & var : clz.vars) {
+                if(first) first = false;
+                else out << " ";
+                if( deterministic_output && isUnboundType(var) ) out << "[unbound]";
+                else out << var;
+        }
         out << ")";