Closed ribelo closed 3 years ago
The second argument to mi/finder is supposed to be a function that will be passed the bindings (in this case it is the string "a"). The interpreter is trying to call that string as if it is a function.
If you wanted to use a pattern on the rhs try mi/rewriter instead.
(We might want to consider catching this instead of throwing the error deep down like this)
Should we throw in some assert
s for the arguments?
Closing pending a patch or plan of action.
If the argument of the function returned by the interpreter is vector, it throws an exception if the query is unsolved.