Changes in src/ResolvExpr/CandidateFinder.cpp [c92bdcc:b2ea0cd]

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (4 diffs)

src/ResolvExpr/CandidateFinder.cpp

@@ -17 +17 @@
 
 #include <deque>
-#include <iterator>                 // for back_inserter
+#include <iterator>               // for back_inserter
 #include <sstream>
 #include <string>
@@ -25 +25 @@
 #include "AdjustExprType.hpp"
 #include "Candidate.hpp"
-#include "CastCost.hpp"             // for castCost
+#include "CastCost.hpp"           // for castCost
 #include "CompilationState.hpp"
-#include "ConversionCost.hpp"       // for conversionCast
-#include "Cost.hpp"
+#include "ConversionCost.h"       // for conversionCast
+#include "Cost.h"
 #include "ExplodedArg.hpp"
 #include "PolyCost.hpp"
-#include "RenameVars.hpp"           // for renameTyVars
-#include "Resolver.hpp"
-#include "ResolveTypeof.hpp"
+#include "RenameVars.h"           // for renameTyVars
+#include "Resolver.h"
+#include "ResolveTypeof.h"
 #include "SatisfyAssertions.hpp"
 #include "SpecCost.hpp"
-#include "Typeops.hpp"              // for combos
-#include "Unify.hpp"
-#include "WidenMode.hpp"
+#include "typeops.h"              // for combos
+#include "Unify.h"
+#include "WidenMode.h"
 #include "AST/Expr.hpp"
 #include "AST/Node.hpp"
@@ -45 +45 @@
 #include "AST/SymbolTable.hpp"
 #include "AST/Type.hpp"
-#include "Common/Utility.hpp"       // for move, copy
-#include "SymTab/Mangler.hpp"
-#include "Tuples/Tuples.hpp"        // for handleTupleAssignment
-#include "InitTweak/InitTweak.hpp"  // for getPointerBase
-
-#include "Common/Stats/Counter.hpp"
+#include "Common/utility.h"       // for move, copy
+#include "SymTab/Mangler.h"
+#include "Tuples/Tuples.h"        // for handleTupleAssignment
+#include "InitTweak/InitTweak.h"  // for getPointerBase
+
+#include "Common/Stats/Counter.h"
 
 #include "AST/Inspect.hpp"             // for getFunctionName
@@ -2138 +2138 @@
 }
 
+// get the valueE(...) ApplicationExpr that returns the enum value
+const ast::Expr * getValueEnumCall(
+        const ast::Expr * expr,
+        const ResolvExpr::ResolveContext & context, const ast::TypeEnvironment & env ) {
+                auto callExpr = new ast::UntypedExpr(
+                        expr->location, new ast::NameExpr( expr->location, "valueE"), {expr} );
+                CandidateFinder finder( context, env );
+                finder.find( callExpr );
+                CandidateList winners = findMinCost( finder.candidates );
+                if (winners.size() != 1) {
+                        SemanticError( callExpr, "Ambiguous expression in valueE..." );
+                }
+                CandidateRef & choice = winners.front();
+                return choice->expr;
+}
+
 const ast::Expr * createCondExpr( const ast::Expr * expr ) {
         assert( expr );