diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix unify_with_occurs_check/2 with floats and friends.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1776 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2007-01-24 09:36:14 +00:00
parent 4ae81b0fee
commit 0f9cb472c6
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/unify.c
View File

@ -146,6 +146,8 @@ rational_tree(Term d0) {
CELL *pt0 = RepAppl(d0); CELL *pt0 = RepAppl(d0);
Functor f = (Functor)(*pt0); Functor f = (Functor)(*pt0);
if (IsExtensionFunctor(f))
return FALSE;
return rational_tree_loop(pt0, pt0+ArityOfFunctor(f), TO_VISIT); return rational_tree_loop(pt0, pt0+ArityOfFunctor(f), TO_VISIT);
} else } else
return FALSE; return FALSE;

2
changes-5.1.html
View File

@ -16,6 +16,8 @@
<h2>Yap-5.1.2:</h2> <h2>Yap-5.1.2:</h2>
<ul> <ul>
<li> NEW: unify_with_occurs_check/2 was broken with extensions (obs from Aline Paes).</li>
<li> NEW: stack_dump/0 from Trevor.</li>
<li> NEW: with_mutex/2.</li> <li> NEW: with_mutex/2.</li>
<li> NEW: call_cleanup/2 and call_cleanup/3 at the request of Paulo <li> NEW: call_cleanup/2 and call_cleanup/3 at the request of Paulo
Moura and Christian.</li> Moura and Christian.</li>