Evaluate partiality of arguments even if call was already in CSE table.

Fixes #374.
MiniZinc · Mar 6, 2020 · 2246a5d · 2246a5d
1 parent 44bdb9b
commit 2246a5d
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/lib/flatten/flatten_call.cpp b/lib/flatten/flatten_call.cpp
@@ -872,7 +872,12 @@ namespace MiniZinc {
       }
       EnvI::CSEMap::iterator cit = env.cse_map_find(cr());
       if (cit != env.cse_map_end()) {
-        ret.b = bind(env,Ctx(),b,env.ignorePartial ? constants().lit_true : cit->second.b());
+        if (env.ignorePartial) {
+          ret.b = bind(env,Ctx(),b,constants().lit_true);
+        } else {
+          args_ee.push_back(EE(nullptr,cit->second.b()));
+          ret.b = conj(env,b,Ctx(),args_ee);
+        }
         ret.r = bind(env,ctx,r,cit->second.r());
       } else {
         for (unsigned int i=0; i<decl->params().size(); i++) {