fix attribute wake up bug.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@568 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
572d179dfd
commit
00033ba7af
@ -16,6 +16,8 @@
|
|||||||
|
|
||||||
<h2>Yap-4.3.23:</h2>
|
<h2>Yap-4.3.23:</h2>
|
||||||
<ul>
|
<ul>
|
||||||
|
<li>FIXED: bug in waking up attached variables (summer@mail.sc.cninfo.net).</li>
|
||||||
|
<li>FIXED: extra manual bugs (Maleeha Qazi).</li>
|
||||||
<li>UPDATE: updated <code>configure.in</code> for smooth YAP compilation on MacOS X 10.2.</li>
|
<li>UPDATE: updated <code>configure.in</code> for smooth YAP compilation on MacOS X 10.2.</li>
|
||||||
<li>FIXED: <code>rint</code> is not <code>truncate/1</code> (Paulo Moura).</li>
|
<li>FIXED: <code>rint</code> is not <code>truncate/1</code> (Paulo Moura).</li>
|
||||||
<li>FIXED: recent change broke debugger help message (Nuno Fonseca).</li>
|
<li>FIXED: recent change broke debugger help message (Nuno Fonseca).</li>
|
||||||
|
@ -108,7 +108,7 @@
|
|||||||
'$redo_ground'(Done, X, Goal).
|
'$redo_ground'(Done, X, Goal).
|
||||||
'$execute_woken_system_goal'('$att_do'(V,New), _) :-
|
'$execute_woken_system_goal'('$att_do'(V,New), _) :-
|
||||||
% make sure we are not trying to wake up again a bound variable.
|
% make sure we are not trying to wake up again a bound variable.
|
||||||
( '$att_bound'(V) -> attributes:woken_att_do(V,New) ; true ).
|
( '$att_bound'(V) -> true ; attributes:woken_att_do(V,New) ).
|
||||||
|
|
||||||
freeze(V, G) :-
|
freeze(V, G) :-
|
||||||
var(V), !,
|
var(V), !,
|
||||||
|
Reference in New Issue
Block a user