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

fix non-determinism in arithmetic compilation.

Browse Source
This commit is contained in:
Vitor Santos Costa 2011-05-08 23:11:56 +01:00
parent 14bae4cb7e
commit 8aad2d0bde
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/arith.yap
View File

@ -92,7 +92,7 @@ do_not_compile_expressions :- set_value('$c_arith',[]).
nonvar(Y), % Don't rewrite variables nonvar(Y), % Don't rewrite variables
!, !,
( (
number(Y), number(Y) ->
P = ( X = Y); % This case reduces to an unification P = ( X = Y); % This case reduces to an unification
'$expand_expr'(Y, P0, X0), '$expand_expr'(Y, P0, X0),
'$drop_is'(X0, X, P0, P) '$drop_is'(X0, X, P0, P)