fix silly calls such as 0.15 ( bug reported by Jude Shavlik)

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1335 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2005-06-08 00:35:27 +00:00
parent 99e42cfaf7
commit bbfed93774

View File

@ -11,8 +11,11 @@
* File: cdmgr.c * * File: cdmgr.c *
* comments: Code manager * * comments: Code manager *
* * * *
* Last rev: $Date: 2005-06-04 07:27:33 $,$Author: ricroc $ * * Last rev: $Date: 2005-06-08 00:35:27 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $ * $Log: not supported by cvs2svn $
* Revision 1.162 2005/06/04 07:27:33 ricroc
* long int support for tabling
*
* Revision 1.161 2005/06/03 08:26:32 ricroc * Revision 1.161 2005/06/03 08:26:32 ricroc
* float support for tabling * float support for tabling
* *
@ -2658,6 +2661,10 @@ p_is_expandgoalormetapredicate(void)
} }
} else if (IsApplTerm(t)) { } else if (IsApplTerm(t)) {
Functor fun = FunctorOfTerm(t); Functor fun = FunctorOfTerm(t);
if (IsExtensionFunctor(fun)) {
return FALSE;
}
pe = RepPredProp(Yap_GetPredPropByFunc(fun, mod)); pe = RepPredProp(Yap_GetPredPropByFunc(fun, mod));
if (EndOfPAEntr(pe)) { if (EndOfPAEntr(pe)) {
if (PRED_GOAL_EXPANSION_FUNC) { if (PRED_GOAL_EXPANSION_FUNC) {