Changeset 8e18b8e for src/ResolvExpr/TypeEnvironment.h

Timestamp:

May 31, 2018, 4:24:49 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

new-env, with_gc

Children:

0182bfa, 1d7b0a8

Parents:

75308bcc

Message:

stop eagerly copying EqvClass? on lookup

File:

• src/ResolvExpr/TypeEnvironment.h (modified) (1 diff)

src/ResolvExpr/TypeEnvironment.h

@@ -85 +85 @@
         class TypeEnvironment {
           public:
-                bool lookup( const std::string &var, EqvClass &eqvClass ) const;
+                const EqvClass* lookup( const std::string &var ) const;
                 void add( const EqvClass &eqvClass );
+                void add( EqvClass &&eqvClass  );
                 void add( const Type::ForallList &tyDecls );
                 void add( const TypeSubstitution & sub );