diff options
author | Mathnerd314 <mathnerd314.gph+hs@gmail.com> | 2015-09-06 17:03:23 -0600 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2015-10-08 13:19:44 +0200 |
commit | 8a8752163611400e2386f1f1a449d9d3fb8f1496 (patch) | |
tree | e0a9a194862054d4a0eb68d631b95817aa837608 | |
parent | 055ab1fc8da1e7c2cfadb671acc8bdb9f2b245aa (diff) |
forceFunction: allow functors as well
-rw-r--r-- | src/libexpr/eval-inline.hh | 10 | ||||
-rw-r--r-- | src/libexpr/eval.cc | 2 | ||||
-rw-r--r-- | src/libexpr/eval.hh | 2 |
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); |