Corrected a bug in the implementation of call_with_args/4 (not accepting closures for the first argument).

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1693 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
pmoura 2006-09-25 10:51:28 +00:00
parent 4ff41f7a62
commit 0f5379cd41
1 changed files with 1 additions and 5 deletions

View File

@ -741,10 +741,6 @@ p_execute_3(void)
Term mod = Deref(ARG5);
Prop pe;
if (!IsAtomTerm(t)) {
Yap_Error(TYPE_ERROR_ATOM,ARG1,"call_with_args/4");
return(FALSE);
}
if (IsAtomTerm(t)) {
Atom a;
a = AtomOfTerm(t);
@ -759,7 +755,7 @@ p_execute_3(void)
CELL *ptr;
if (IsExtensionFunctor(f)) {
Yap_Error(TYPE_ERROR_CALLABLE, t, "call_with_args/2");
Yap_Error(TYPE_ERROR_CALLABLE, t, "call_with_args/4");
return(FALSE);
}
Arity = ArityOfFunctor(f);