Changeset 361bf01 for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Dec 11, 2020, 11:20:45 PM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

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

Children:

5b9a0ae

Parents:

a6e0e4c

Message:

remove ParameterizedType? and put content into FunctionType?

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (1 diff)

src/ResolvExpr/CandidateFinder.cpp

@@ -220 +220 @@
 
         void makeUnifiableVars(
-                const ast::ParameterizedType * type, ast::OpenVarSet & unifiableVars,
+                const ast::FunctionType * type, ast::OpenVarSet & unifiableVars,
                 ast::AssertionSet & need
         ) {