Changeset c8e4d2f8 for src/ResolvExpr/CandidateFinder.hpp

Timestamp:

Jun 18, 2019, 11:47:44 AM (6 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:

a2a85658, b408364

Parents:

bc92bee

Message:

Start porting CastExpr? resolution

File:

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

src/ResolvExpr/CandidateFinder.hpp

@@ -27 +27 @@
 /// Data to perform expression resolution
 struct CandidateFinder {
-        CandidateList candidates;                ///< List of candidate resolutions
-        const ast::SymbolTable & symtab;         ///< Symbol table to lookup candidates
-        const ast::TypeEnvironment & env;        ///< Substitutions performed in this resolution
-        ast::ptr< ast::Type > targetType = nullptr;  ///< Target type for resolution
+        CandidateList candidates;          ///< List of candidate resolutions
+        const ast::SymbolTable & symtab;   ///< Symbol table to lookup candidates
+        const ast::TypeEnvironment & env;  ///< Substitutions performed in this resolution
+        ast::ptr< ast::Type > targetType;  ///< Target type for resolution
 
-        CandidateFinder( const ast::SymbolTable & symtab, const ast::TypeEnvironment & env )
-        : candidates(), symtab( symtab ), env( env ) {}
+        CandidateFinder( 
+                const ast::SymbolTable & symtab, const ast::TypeEnvironment & env, 
+                const ast::Type * tt = nullptr )
+        : candidates(), symtab( symtab ), env( env ), targetType( tt ) {}
 
         /// Fill candidates with feasible resolutions for `expr`