Changeset 5f642e38 for src/CodeGen/GenType.cc

Timestamp:

Apr 19, 2017, 12:08:40 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

e3987770

Parents:

7069652

Message:

more work on codegen output

File:

• src/CodeGen/GenType.cc (modified) (1 diff)

src/CodeGen/GenType.cc

@@ -186 +186 @@
                         funcType->get_returnVals().front()->get_type()->accept( *this );
                 } // if
+
+                // add forall
+                if( ! funcType->get_forall().empty() && ! genC ) {
+                        // assertf( ! genC, "Aggregate type parameters should not reach code generation." );
+                        std::ostringstream os;
+                        CodeGenerator cg( os, pretty, genC );
+                        os << "forall(";
+                        cg.genCommaList( funcType->get_forall().begin(), funcType->get_forall().end() );
+                        os << ")" << std::endl;
+                        typeString = os.str() + typeString;
+                }
         }