fix point where we assume unbound array
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@303 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
6d1015afcf
commit
289d0da079
@ -668,7 +668,7 @@ p_create_array(void)
|
|||||||
ArrayEntry *app = (ArrayEntry *) pp;
|
ArrayEntry *app = (ArrayEntry *) pp;
|
||||||
|
|
||||||
WRITE_UNLOCK(ae->ARWLock);
|
WRITE_UNLOCK(ae->ARWLock);
|
||||||
if (!IsUnboundVar(app->ValueOfVE))
|
if (!IsVarTerm(app->ValueOfVE) || !IsUnboundVar(app->ValueOfVE))
|
||||||
Error(PERMISSION_ERROR_CREATE_ARRAY,t,"create_array",
|
Error(PERMISSION_ERROR_CREATE_ARRAY,t,"create_array",
|
||||||
ae->StrOfAE);
|
ae->StrOfAE);
|
||||||
else {
|
else {
|
||||||
|
@ -16,6 +16,8 @@
|
|||||||
|
|
||||||
<h2>Yap-4.3.21:</h2>
|
<h2>Yap-4.3.21:</h2>
|
||||||
<ul>
|
<ul>
|
||||||
|
<li>FIXED: abolish could backtrack and give weird error (Nicos
|
||||||
|
Angelopoulos).</li>
|
||||||
<li>FIXED: make consult, use_module and friends meta-predicates
|
<li>FIXED: make consult, use_module and friends meta-predicates
|
||||||
(Nicos Angelopoulos).</li>
|
(Nicos Angelopoulos).</li>
|
||||||
<li>FIXED: make use_module a directive.</li>
|
<li>FIXED: make use_module a directive.</li>
|
||||||
|
Reference in New Issue
Block a user