diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index 8d44487..de07f77 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -128,7 +128,7 @@ ACall::constrain(TEnv& tenv, Constraints& c) const const AType* fnType = tenv.var(at(0)); if (fnType->kind != AType::VAR) { - if (fnType == AType::PRIM + if (fnType->kind == AType::PRIM || fnType->size() < 2 || !fnType->at(0)->to<const ASymbol*>() || fnType->at(0)->to<const ASymbol*>()->cppstr != "Fn") |