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

make sure that undef within undef is really disallowed.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1230 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2005-01-12 20:06:02 +00:00
parent 9d8f0e470d
commit c9307a5987
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/boot.yap
View File

@ -753,12 +753,12 @@ not(G) :- \+ '$execute'(G).
'$do_undefp'(G,M) :- '$do_undefp'(G,M) :-
\+ '$undefined'(unknown_predicate_handler(_,_,_), user), \+ '$undefined'(unknown_predicate_handler(_,_,_), user),
'$system_catch'(unknown_predicate_handler(G,M,NG), user, _, fail), !, '$system_catch'(unknown_predicate_handler(G,M,NG), user, _, fail), !,
'$exit_undefp', '$execute'(user:NG),
'$execute'(user:NG). '$exit_undefp'.
'$do_undefp'(G,M) :- '$do_undefp'(G,M) :-
recorded('$unknown','$unknown'(M:G,US),_), !, recorded('$unknown','$unknown'(M:G,US),_), !,
'$exit_undefp', '$execute'(user:US),
'$execute'(user:US). '$exit_undefp'.
'$do_undefp'(_,_) :- '$do_undefp'(_,_) :-
'$exit_undefp', '$exit_undefp',
fail. fail.