Changes in src/ResolvExpr/ResolvMode.h [0536c03:396037d]

File:

• src/ResolvExpr/ResolvMode.h (modified) (1 diff)

src/ResolvExpr/ResolvMode.h

@@ -22 +22 @@
                 const bool prune;            ///< Prune alternatives to min-cost per return type? [true]
                 const bool failFast;         ///< Fail on no resulting alternatives? [true]
+                const bool satisfyAssns;     ///< Satisfy assertions? [false]
 
-                constexpr ResolvMode(bool a, bool p, bool ff) 
-                : adjust(a), prune(p), failFast(ff) {}
+        private:
+                constexpr ResolvMode(bool a, bool p, bool ff, bool sa) 
+                : adjust(a), prune(p), failFast(ff), satisfyAssns(sa) {}
 
+        public:
                 /// Default settings
-                constexpr ResolvMode() : adjust(false), prune(true), failFast(true) {}
+                constexpr ResolvMode() : adjust(false), prune(true), failFast(true), satisfyAssns(false) {}
                 
                 /// With adjust flag set; turns array and function types into equivalent pointers
-                static constexpr ResolvMode withAdjustment() { return { true, true, true }; }
+                static constexpr ResolvMode withAdjustment() { return { true, true, true, false }; }
 
                 /// With adjust flag set but prune unset; pruning ensures there is at least one alternative 
                 /// per result type
-                static constexpr ResolvMode withoutPrune() { return { true, false, true }; }
+                static constexpr ResolvMode withoutPrune() { return { true, false, true, false }; }
 
                 /// With adjust and prune flags set but failFast unset; failFast ensures there is at least 
                 /// one resulting alternative
-                static constexpr ResolvMode withoutFailFast() { return { true, true, false }; }
+                static constexpr ResolvMode withoutFailFast() { return { true, true, false, false }; }
 
                 /// The same mode, but with satisfyAssns turned on; for top-level calls
-                ResolvMode atTopLevel() const { return { adjust, true, failFast }; }
+                ResolvMode atTopLevel() const { return { adjust, prune, failFast, true }; }
         };
 } // namespace ResolvExpr