Changeset cd6a6ff for src

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

Files:

• AST/Print.cpp (modified) (3 diffs)
• AST/Type.cpp (modified) (2 diffs)
• AST/Type.hpp (modified) (1 diff)
• AST/TypeEnvironment.cpp (modified) (2 diffs)
• ResolvExpr/TypeEnvironment.cc (modified) (1 diff)
• SynTree/Expression.cc (modified) (1 diff)
• SynTree/NamedTypeDecl.cc (modified) (2 diffs)
• SynTree/ReferenceToType.cc (modified) (2 diffs)
• SynTree/Type.cc (modified) (1 diff)
• SynTree/Type.h (modified) (1 diff)

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 << ")";
 

src/ResolvExpr/TypeEnvironment.cc

@@ -107 +107 @@
 
         void EqvClass::print( std::ostream &os, Indenter indent ) const {
-                if( !deterministic_output ) {
-                        os << "( ";
-                        std::copy( vars.begin(), vars.end(), std::ostream_iterator< std::string >( os, " " ) );
-                        os << ")";
-                }
+                os << "(";
+                bool first = true;
+                for(const auto & var : vars) {
+                        if(first) first = false;
+                        else os << " ";
+                        if( deterministic_output && isUnboundType(var) ) os << "[unbound]";
+                        else os << var;
+                }
+                os << ")";
                 if ( type ) {
                         os << " -> ";

src/SynTree/Expression.cc

@@ -72 +72 @@
 
         if ( result ) {
-                if (!deterministic_output) {
-                        os << std::endl << indent << "with resolved type:" << std::endl;
-                        os << (indent+1);
-                        result->print( os, indent+1 );
-                }
+                os << std::endl << indent << "with resolved type:" << std::endl;
+                os << (indent+1);
+                result->print( os, indent+1 );
         }
 

src/SynTree/NamedTypeDecl.cc

@@ -22 +22 @@
 #include "LinkageSpec.h"         // for Spec, Cforall, linkageName
 #include "Type.h"                // for Type, Type::StorageClasses
+#include "CompilationState.h"
 
 NamedTypeDecl::NamedTypeDecl( const std::string &name, Type::StorageClasses scs, Type *base )
@@ -41 +42 @@
         using namespace std;
 
-        if ( name != "" ) os << name << ": ";
+        if ( ! name.empty() ) {
+                if( deterministic_output && isUnboundType(name) ) os << "[unbound]:";
+                else os << name << ": ";
+        }
 
         if ( linkage != LinkageSpec::Cforall ) {

src/SynTree/ReferenceToType.cc

@@ -24 +24 @@
 #include "Type.h"             // for TypeInstType, StructInstType, UnionInstType
 #include "TypeSubstitution.h" // for TypeSubstitution
+#include "CompilationState.h"
 
 class Attribute;
@@ -205 +206 @@
 
         Type::print( os, indent );
-        os << "instance of " << typeString() << " " << get_name() << " (" << ( isFtype ? "" : "not" ) << " function type)";
+        os << "instance of " << typeString() << " ";
+        const auto & name_ = get_name();
+        if( deterministic_output && isUnboundType(name) ) os << "[unbound]";
+        else os << name;
+        os << " (" << ( isFtype ? "" : "not" ) << " function type)";
         if ( ! parameters.empty() ) {
                 os << endl << indent << "... with parameters" << endl;

src/SynTree/Type.cc

@@ -156 +156 @@
 const Type::Qualifiers noQualifiers;
 
+bool isUnboundType(const Type * type) {
+        if (auto typeInst = dynamic_cast<const TypeInstType *>(type)) {
+                // 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
+                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;
+}
+
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Type.h

@@ -733 +733 @@
 };
 
+
+bool isUnboundType(const Type * type);
+bool isUnboundType(const std::string & tname);
+
 // Local Variables: //
 // tab-width: 4 //