Changeset 64eae56 for src/ResolvExpr

Timestamp:

Dec 21, 2016, 5:15:27 PM (8 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:

0c286cf

Parents:

53e3b4a

Message:

match formal parameter type of actual function when specializing ttype parameter, flatten types when unifying ttype parameters

File:

• src/ResolvExpr/Unify.cc (modified) (1 diff)

src/ResolvExpr/Unify.cc

@@ -491 +491 @@
                 std::list< Type * > types;
                 for ( ; begin != end; ++begin ) {
-                        // might need to break apart these types too?
-                        // yes, looks like we should flatten begin and push back each types individually
-                        types.push_back( (*begin)->get_type()->clone() );
+                        // it's guaranteed that a ttype variable will be bound to a flat tuple, so ensure that this results in a flat tuple
+                        flatten( (*begin)->get_type(), back_inserter( types ) );
                 }
                 return new TupleType( Type::Qualifiers(), types );