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

more fixes

Browse Source
This commit is contained in:
Vítor Santos Costa 2010-05-04 16:37:39 +01:00
parent 4e39da0531
commit ea47bd124c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pl/arith.yap
View File

@ -444,19 +444,19 @@ plus(X, Y, Z) :-
'$plus_error'(X,Y,Z) '$plus_error'(X,Y,Z)
). ).
'$plus_error'(X,Y,Z) : '$plus_error'(X,Y,Z) :-
nonvar(X), nonvar(X),
\+ integer(X), \+ integer(X),
'$do_error'(type_error(integer, X),plus(X,Y,Z)). '$do_error'(type_error(integer, X),plus(X,Y,Z)).
'$plus_error'(X,Y,Z) : '$plus_error'(X,Y,Z) :-
nonvar(Y), nonvar(Y),
\+ integer(Y), \+ integer(Y),
'$do_error'(type_error(integer, Y),plus(X,Y,Z)). '$do_error'(type_error(integer, Y),plus(X,Y,Z)).
'$plus_error'(X,Y,Z) : '$plus_error'(X,Y,Z) :-
nonvar(Z), nonvar(Z),
\+ integer(Z), \+ integer(Z),
'$do_error'(type_error(integer, Z),plus(X,Y,Z)). '$do_error'(type_error(integer, Z),plus(X,Y,Z)).
'$plus_error'(X,Y,Z) : '$plus_error'(X,Y,Z) :-
'$do_error'(instantiation_error,plus(X,Y,Z)). '$do_error'(instantiation_error,plus(X,Y,Z)).