more typos.

This commit is contained in:
Vítor Santos Costa 2014-10-07 10:13:31 +01:00
parent cff80914e4
commit 46a81e8d2b
2 changed files with 5 additions and 5 deletions

View File

@ -406,9 +406,9 @@ expand_expr(Op, X, Y, O, Q, P) :-
'$contains_illegal_dcgnt'(NT) :-
functor(NT, _, A),
between(1, A, I),
arg(I, NT),
nonvar(I),
( I = ! ; I = phrase(_,_,_) ), !.
arg(I, NT, AI),
nonvar(AI),
( AI = ! ; AI = phrase(_,_,_) ), !.
% write(contains_illegal_nt(NT)), % JW: we do not want to write
% nl.

View File

@ -960,7 +960,7 @@ meta_predicate declaration
'$meta_expansion0'(G, _HM, _BM, SM, SM:G, _HVars) :-
var(G), !.
'$meta_expansion0'(M:G, _HM, _BM, SM, G1, _HVars) :-
'$meta_expansion0'(M:G, _HM, _BM, _SM, G1, _HVars) :-
var(M), !,
G1 = '$execute_wo_mod'(G,M).
% support for all/3
@ -1006,7 +1006,7 @@ its parent goal.
'$is_mt'(M, H, CM, B, (context_module(CM),B)) :-
'$module_transparent'(_, M, _, H), !.
'$is_mt'(_M, _H, CM, B, B).
'$is_mt'(_M, _H, _CM, B, B).
% comma has its own problems.
:- '$install_meta_predicate'(','(0,0), prolog).