Changes in / [bead1cf:ec7f50a]

File:

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

src/ResolvExpr/AlternativeFinder.cc

@@ -486 +486 @@
                 for ( TypeDecl* td : function->forall ) {
                         convCost.decSpec( td->assertions.size() );
+                }
+
+                // xxx -- replace with new costs in resolver
+                for ( InferredParams::const_iterator assert = appExpr->inferParams.begin(); assert != appExpr->inferParams.end(); ++assert ) {
+                        convCost += computeConversionCost( assert->second.actualType, assert->second.formalType, indexer, alt.env );
                 }