Changeset eef8dfb for src/AST/Print.cpp

Timestamp:

Jan 7, 2021, 2:55:57 PM (5 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:

58fe85a

Parents:

bdfc032 (diff), 44e37ef (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into dkobets-vector

File:

• src/AST/Print.cpp (modified) (11 diffs)

src/AST/Print.cpp

@@ -21 +21 @@
 #include "Type.hpp"
 #include "TypeSubstitution.hpp"
+#include "CompilationState.h"
 
 #include "Common/utility.h" // for group_iterate
@@ -29 +30 @@
 
 template <typename C, typename... T>
-constexpr auto make_array(T&&... values) ->
-        array<C,sizeof...(T)>
+constexpr array<C,sizeof...(T)> make_array(T&&... values)
 {
         return array<C,sizeof...(T)>{
@@ -129 +129 @@
 
         void print( const ast::Expr::InferUnion & inferred, unsigned level = 0 ) {
-                switch ( inferred.mode ) {
-                case ast::Expr::InferUnion::Empty: return;
-                case ast::Expr::InferUnion::Slots: {
-                        os << indent << "with " << inferred.data.resnSlots.size()
+                if (inferred.data.resnSlots && !inferred.data.resnSlots->empty()) {
+                        os << indent << "with " << inferred.data.resnSlots->size()
                            << " pending inference slots" << endl;
-                        return;
-                }
-                case ast::Expr::InferUnion::Params: {
+                }
+                if (inferred.data.inferParams && !inferred.data.inferParams->empty()) {
                         os << indent << "with inferred parameters " << level << ":" << endl;
                         ++indent;
-                        for ( const auto & i : inferred.data.inferParams ) {
+                        for ( const auto & i : *inferred.data.inferParams ) {
                                 os << indent;
-                                short_print( Decl::fromId( i.second.decl ) );
+                                short_print( i.second.declptr );
                                 os << endl;
                                 print( i.second.expr->inferred, level+1 );
                         }
                         --indent;
-                        return;
-                }
-                }
-        }
-
-        void print( const ast::ParameterizedType::ForallList & forall ) {
+                }
+        }
+
+        void print( const ast::FunctionType::ForallList & forall ) {
                 if ( forall.empty() ) return;
                 os << "forall" << endl;
                 ++indent;
                 printAll( forall );
+                os << indent;
+                --indent;
+        }
+
+        void print( const ast::FunctionType::AssertionList & assts ) {
+                if (assts.empty()) return;
+                os << "with assertions" << endl;
+                ++indent;
+                printAll(assts);
                 os << indent;
                 --indent;
@@ -210 +214 @@
 
         void preprint( const ast::NamedTypeDecl * node ) {
-                if ( ! node->name.empty() ) os << node->name << ": ";
+                if ( ! node->name.empty() ) {
+                        os << node->name << ": ";
+                }
 
                 if ( ! short_mode && node->linkage != Linkage::Cforall ) {
@@ -226 +232 @@
                 }
 
-                if ( ! node->params.empty() ) {
-                        os << endl << indent << "... with parameters" << endl;
-                        ++indent;
-                        printAll( node->params );
-                        --indent;
-                }
-
-                if ( ! short_mode && ! node->assertions.empty() ) {
+                if ( ! node->assertions.empty() ) {
                         os << endl << indent << "... with assertions" << endl;
                         ++indent;
@@ -244 +243 @@
                 print( node->inferred );
 
+                if ( node->result ) {
+                        os << endl << indent << "... with resolved type:" << endl;
+                        ++indent;
+                        os << indent;
+                        node->result->accept( *this );
+                        --indent;
+                }
+
                 if ( node->env ) {
                         os << endl << indent << "... with environment:" << endl;
@@ -260 +267 @@
         }
 
-        void preprint( const ast::ParameterizedType * node ) {
+        void preprint( const ast::FunctionType * node ) {
                 print( node->forall );
+                print( node->assertions );
                 print( node->qualifiers );
         }
 
-        void preprint( const ast::ReferenceToType * node ) {
-                print( node->forall );
+        void preprint( const ast::BaseInstType * node ) {
                 print( node->attributes );
                 print( node->qualifiers );
@@ -678 +685 @@
         }
 
+        virtual const ast::Stmt * visit( const ast::SuspendStmt * node ) override final {
+                os << "Suspend Statement";
+                switch (node->type) {
+                        case ast::SuspendStmt::None     : os << " with implicit target"; break;
+                        case ast::SuspendStmt::Generator: os << " for generator"; break;
+                        case ast::SuspendStmt::Coroutine: os << " for coroutine"; break;
+                }
+                os << endl;
+
+                ++indent;
+                if(node->then) {
+                        os << indent << " with post statement :" << endl;
+                        safe_print( node->then );
+                }
+                ++indent;
+
+                return node;
+        }
+
         virtual const ast::Stmt * visit( const ast::WaitForStmt * node ) override final {
                 os << "Waitfor Statement" << endl;
@@ -823 +849 @@
         virtual const ast::Expr * visit( const ast::CastExpr * node ) override final {
                 ++indent;
-                os << (node->isGenerated ? "Generated" : "Explicit") << " cast of:" << endl << indent;
+                os << (node->isGenerated ? "Generated" : "Explicit") << " Cast of:" << endl << indent;
                 safe_print( node->arg );
                 os << endl << indent-1 << "... to:";
@@ -1358 +1384 @@
         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->typeString();
+                os << "instance of type " << _name
                    << " (" << (node->kind == ast::TypeDecl::Ftype ? "" : "not ") << "function type)";
                 print( node->params );
@@ -1484 +1511 @@
                 os << indent << "Types:" << endl;
                 for ( const auto& i : *node ) {
-                        os << indent+1 << i.first << " -> ";
+                        os << indent+1 << i.first.typeString() << " -> ";
                         indent += 2;
                         safe_print( i.second );
-                        indent -= 2;
-                        os << endl;
-                }
-                os << indent << "Non-types:" << endl;
-                for ( auto i = node->beginVar(); i != node->endVar(); ++i ) {
-                        os << indent+1 << i->first << " -> ";
-                        indent += 2;
-                        safe_print( i->second );
                         indent -= 2;
                         os << endl;