support exporting DCG rules as // (swi compatibility).

This commit is contained in:
Vitor Santos Costa 2008-08-24 14:24:02 +01:00
parent 2e2aaf040b
commit 46744810ae

View File

@ -90,6 +90,9 @@ module(N) :-
'$process_exports'([],_,[]). '$process_exports'([],_,[]).
'$process_exports'([Name/Arity|Exports],Mod,[Name/Arity|ExportedPreds]):- !, '$process_exports'([Name/Arity|Exports],Mod,[Name/Arity|ExportedPreds]):- !,
'$process_exports'(Exports,Mod,ExportedPreds). '$process_exports'(Exports,Mod,ExportedPreds).
'$process_exports'([Name//Arity|Exports],Mod,[Name/Arity2|ExportedPreds]):- !,
Arity2 is Arity+2,
'$process_exports'(Exports,Mod,ExportedPreds).
'$process_exports'([op(Prio,Assoc,Name)|Exports],Mod,ExportedPreds) :- !, '$process_exports'([op(Prio,Assoc,Name)|Exports],Mod,ExportedPreds) :- !,
op(Prio,Assoc,Name), op(Prio,Assoc,Name),
'$process_exports'(Exports,Mod,ExportedPreds). '$process_exports'(Exports,Mod,ExportedPreds).