Changeset f229fc2 for src/ResolvExpr/TypeEnvironment.h

Timestamp:

Apr 13, 2018, 12:25:33 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

new-env, with_gc

Children:

b5aa3d8

Parents:

09a1ae6

Message:

Modify resolver to use young-generation collection per-top-level expression

File:

• src/ResolvExpr/TypeEnvironment.h (modified) (2 diffs)

src/ResolvExpr/TypeEnvironment.h

@@ -26 +26 @@
 #include "SynTree/Type.h"              // for Type, Type::ForallList
 #include "SynTree/TypeSubstitution.h"  // for TypeSubstitution
+
+template< typename Pass >
+class PassVisitor;
+class GcTracer;
 
 namespace ResolvExpr {
@@ -116 +120 @@
 
         std::ostream & operator<<( std::ostream & out, const TypeEnvironment & env );
+
+        PassVisitor<GcTracer> & operator<<( PassVisitor<GcTracer> & gc, const TypeEnvironment & env );
 } // namespace ResolvExpr