Changeset 0362d42 for src/SynTree

Timestamp:

Sep 1, 2016, 3:27:57 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:

1ced874

Parents:

fba44f8

Message:

modify instantiate function so that it allows formal parameters with tuple type to unify

File:

• src/SynTree/Type.h (modified) (1 diff)

src/SynTree/Type.h

@@ -352 +352 @@
         virtual ~TupleType();
 
+        typedef std::list<Type*> value_type;
+        typedef value_type::iterator iterator;
+
         std::list<Type*>& get_types() { return types; }
+
+        iterator begin() { return types.begin(); }
+        iterator end() { return types.end(); }
 
         virtual TupleType *clone() const { return new TupleType( *this ); }