Changes in src/ResolvExpr/CandidateFinder.hpp [396037d:b69233ac]

File:

• src/ResolvExpr/CandidateFinder.hpp (modified) (2 diffs)

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`
@@ -52 +54 @@
 };
 
+/// Computes conversion cost between two types
+Cost computeConversionCost( 
+        const ast::Type * argType, const ast::Type * paramType, const ast::SymbolTable & symtab, 
+        const ast::TypeEnvironment & env );
+
 } // namespace ResolvExpr