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

protect against var usage.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-11-20 00:32:14 +00:00
parent 73bba98946
commit 628d181923
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pl/boot.yap
View File

@ -397,6 +397,12 @@ true :- true.
'$current_module'(Mod), '$current_module'(Mod),
'$go_compile_clause'(G,V,Pos,N,Mod,Mod,Source). '$go_compile_clause'(G,V,Pos,N,Mod,Mod,Source).
'$go_compile_clause'(G,_,_,_,_,_,Source) :-
var(G), !,
'$do_error'(instantiation_error,assert(Source)).
'$go_compile_clause'((G:-_),_,_,_,_,_,Source) :-
var(G), !,
'$do_error'(instantiation_error,assert(Source)).
'$go_compile_clause'(M:G,V,Pos,N,_,_,Source) :- !, '$go_compile_clause'(M:G,V,Pos,N,_,_,Source) :- !,
'$go_compile_clause'(G,V,Pos,N,M,M,Source). '$go_compile_clause'(G,V,Pos,N,M,M,Source).
'$go_compile_clause'((M:H :- B),V,Pos,N,_,BodyMod,Source) :- !, '$go_compile_clause'((M:H :- B),V,Pos,N,_,BodyMod,Source) :- !,