Changeset 7aa209e7 for src/ResolvExpr

Timestamp:

Apr 17, 2024, 10:50:36 AM (4 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

8fd53b6e

Parents:

710d0c8c

Message:

Fixing some whitespace around a recent merge. That lead to some general clean-up, including removing tailing whitespace and removing some unneeded dependences.

Location:

src/ResolvExpr

Files:

• CandidateFinder.cpp (modified) (4 diffs)
• CandidateFinder.hpp (modified) (2 diffs)

src/ResolvExpr/CandidateFinder.cpp

@@ -1400 +1400 @@
                                 }
                         }
-                        
+
                         CandidateRef newCand = std::make_shared<Candidate>(
                                 newExpr, copy( tenv ), ast::OpenVarSet{}, ast::AssertionSet{}, bentConversion? Cost::safe: Cost::zero,
@@ -1794 +1794 @@
                                                 auto commonAsEnumAttr = common.as<ast::EnumAttrType>();
                                                 if ( commonAsEnumAttr && commonAsEnumAttr->attr == ast::EnumAttribute::Value ) {
-                                                        
                                                         auto callExpr = new ast::UntypedExpr(
                                                                 cand->expr->location, new ast::NameExpr( cand->expr->location, "valueE"), {cand->expr} );
@@ -1823 +1822 @@
                                                         // if this somehow changes in the future (e.g. delayed by indeterminate return type)
                                                         // we may need to revisit the logic.
-                                                        inferParameters( newCand, matches );    
+                                                        inferParameters( newCand, matches );
                                                 }
-                                        }                       
-                                }       
+                                        }
+                                }
                         }
                 }
@@ -2151 +2150 @@
 }
 
-// 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 * getValueEnumCall( const ast::Expr * expr,
+                const 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;
 }
 

src/ResolvExpr/CandidateFinder.hpp

@@ -30 +30 @@
 struct CandidateFinder {
         CandidateList candidates;          ///< List of candidate resolutions
-        const ResolveContext & context;  ///< Information about where the canditates are being found.
+        const ResolveContext & context;    ///< Information about where the canditates are being found.
         const ast::TypeEnvironment & env;  ///< Substitutions performed in this resolution
         ast::ptr< ast::Type > targetType;  ///< Target type for resolution
         bool strictMode = false;           ///< If set to true, requires targetType to be exact match (inside return cast)
         bool allowVoid = false;            ///< If set to true, allow void-returning function calls (only top level, cast to void and first in comma)
-        std::set< std::string > otypeKeys;  /// different type may map to same key
+        std::set< std::string > otypeKeys; ///< different type may map to same key
 
         CandidateFinder(
@@ -70 +70 @@
         const ast::Expr * expr, Cost & cost );
 
-const ast::Expr * getValueEnumCall(const ast::Expr * expr,
-        const ResolvExpr::ResolveContext & context, const ast::TypeEnvironment & env );
+/// Get the valueE application that returns the enum's value.
+const ast::Expr * getValueEnumCall( const ast::Expr * expr,
+        const ResolveContext & context, const ast::TypeEnvironment & env );
+
 /// Wrap an expression to convert the result to a conditional result.
 const ast::Expr * createCondExpr( const ast::Expr * expr );