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

assert_dynamic would lose module

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@229 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-12-12 20:08:12 +00:00
parent 4cda9b3ad1
commit 0eeeffa379
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/preds.yap
View File

@ -70,7 +70,7 @@ assert(C) :-
'$assert_dynamic'(V,Mod,_,_,_) :- var(V), !, '$assert_dynamic'(V,Mod,_,_,_) :- var(V), !,
throw(error(instantiation_error,assert(Mod:V))). throw(error(instantiation_error,assert(Mod:V))).
'$assert_dynamic'(M:C,_,Where,R,P) :- !, '$assert_dynamic'(M:C,_,Where,R,P) :- !,
'$assert_dynamic'(C,Mod,Where,R,P). '$assert_dynamic'(C,M,Where,R,P).
'$assert_dynamic'((H:-G),M1,Where,R,P) :- '$assert_dynamic'((H:-G),M1,Where,R,P) :-
(var(H) -> throw(error(instantiation_error,P)) ; H=M:C), !, (var(H) -> throw(error(instantiation_error,P)) ; H=M:C), !,
( M1 = M -> ( M1 = M ->