Changeset f474e91 for src/ResolvExpr/FindOpenVars.cc

Timestamp:

Jun 3, 2019, 5:36:43 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

4ae2364

Parents:

8d70648

Message:

Port unification calculations to new AST

File:

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

src/ResolvExpr/FindOpenVars.cc

@@ -93 +93 @@
                 common_action( tupleType );
         }
+
+        void findOpenVars( 
+                        const ast::Type * type, ast::OpenVarSet & open, ast::OpenVarSet & closed, 
+                        ast::AssertionSet & need, ast::AssertionSet & have, FirstMode firstIsOpen ) {
+                #warning unimplemented
+                (void)type; (void)open; (void)closed; (void)need; (void)have; (void)firstIsOpen;
+                assert(false);
+        }
 } // namespace ResolvExpr