aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMathnerd314 <mathnerd314.gph+hs@gmail.com>2015-09-06 17:03:23 -0600
committerEelco Dolstra <eelco.dolstra@logicblox.com>2015-10-08 13:19:44 +0200
commit8a8752163611400e2386f1f1a449d9d3fb8f1496 (patch)
treee0a9a194862054d4a0eb68d631b95817aa837608
parent055ab1fc8da1e7c2cfadb671acc8bdb9f2b245aa (diff)
forceFunction: allow functors as well
-rw-r--r--src/libexpr/eval-inline.hh10
-rw-r--r--src/libexpr/eval.cc2
-rw-r--r--src/libexpr/eval.hh2
3 files changed, 13 insertions, 1 deletions
diff --git a/src/libexpr/eval-inline.hh b/src/libexpr/eval-inline.hh
index c8d83814f..b470fa315 100644
--- a/src/libexpr/eval-inline.hh
+++ b/src/libexpr/eval-inline.hh
@@ -78,5 +78,15 @@ inline void EvalState::forceList(Value & v, const Pos & pos)
throwTypeError("value is %1% while a list was expected, at %2%", v, pos);
}
+inline bool EvalState::isFunctor(Value& fun)
+{
+ if (fun.type == tAttrs) {
+ auto found = fun.attrs->find(sFunctor);
+ if (found != fun.attrs->end()) {
+ return true;
+ }
+ }
+ return false;
+}
}
diff --git a/src/libexpr/eval.cc b/src/libexpr/eval.cc
index 74f88e498..93c3111af 100644
--- a/src/libexpr/eval.cc
+++ b/src/libexpr/eval.cc
@@ -1294,7 +1294,7 @@ bool EvalState::forceBool(Value & v)
void EvalState::forceFunction(Value & v, const Pos & pos)
{
forceValue(v);
- if (v.type != tLambda && v.type != tPrimOp && v.type != tPrimOpApp)
+ if (v.type != tLambda && v.type != tPrimOp && v.type != tPrimOpApp && !isFunctor(v))
throwTypeError("value is %1% while a function was expected, at %2%", v, pos);
}
diff --git a/src/libexpr/eval.hh b/src/libexpr/eval.hh
index 8df0084fd..eb55f6d4d 100644
--- a/src/libexpr/eval.hh
+++ b/src/libexpr/eval.hh
@@ -213,6 +213,8 @@ public:
elements and attributes are compared recursively. */
bool eqValues(Value & v1, Value & v2);
+ bool isFunctor(Value & fun);
+
void callFunction(Value & fun, Value & arg, Value & v, const Pos & pos);
void callPrimOp(Value & fun, Value & arg, Value & v, const Pos & pos);