Cannot reference function Predicate as a variable.

EvanReese

I'm trying to use a predicate I've imported and I'm getting this error and I don't know what it means. Anybody know what I might be doing wrong?

ilya_baran

You can't reference top-level functions or predicates in variables.  So:
predicate isNonzero(something)
{
   something != 0;
}

const myPredicate = isNonzero; // Error -- not allowed
const myPredicate = function(something) { return isNonzero(something); }; // Ok

_anton

Is the predicate ever not followed by arguments in parentheses, like a function call?

ilya_baran

You can't reference top-level functions or predicates in variables.  So:
predicate isNonzero(something)
{
   something != 0;
}

const myPredicate = isNonzero; // Error -- not allowed
const myPredicate = function(something) { return isNonzero(something); }; // Ok

EvanReese

Got it, thanks guys!