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

don't complain about predicates with same name in different modules

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@152 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-09-10 14:38:56 +00:00
parent 8f6d06b67f
commit 659b141e16
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pl/checker.yap
View File

@ -161,11 +161,13 @@ $sv_warning(SVs,T) :-
'$handle_multiple'(F,A) :-
'$get_value'('$consulting',true), !.
'$handle_multiple'(F,A) :-
'$recorded'('$predicate_defs','$predicate_defs'(F,A,Fil),_), !,
'$current_module'(M),
'$recorded'('$predicate_defs','$predicate_defs'(F,A,M,Fil),_), !,
'$multiple_has_been_defined'(Fil,F/A), !.
'$handle_multiple'(F,A) :-
( '$recorded'('$reconsulting',Fil,_) -> true ),
'$recorda'('$predicate_defs','$predicate_defs'(F,A,Fil),_).
'$current_module'(M),
'$recorda'('$predicate_defs','$predicate_defs'(F,A,M,Fil),_).
'$multiple_has_been_defined'(_,F/A) :-
'$is_multifile'(F,A), !.