Changeset 361bf01 for src/ResolvExpr/Resolver.cc

Timestamp:

Dec 11, 2020, 11:20:45 PM (3 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/Resolver.cc (modified) (1 diff)

src/ResolvExpr/Resolver.cc

@@ -976 +976 @@
                         }
 
-                        void previsit( const ast::Expr * ) {
+                        void previsit( const ast::Expr * expr ) {
                                 if ( result ) { visit_children = false; }
+                                if (expr->inferred.hasParams()) {
+                                        for (auto & imp : expr->inferred.inferParams() ) {
+                                                previsit(imp.second.expr);
+                                        }
+                                }
                         }
                 };