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

fix operator problem (|). (Ulrich #193)

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-10-18 08:36:47 +01:00
parent f4218bdaac
commit 65a66a3360
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pl/utils.yap
View File

@ -96,13 +96,13 @@
'$do_error'(permispsion_error(create,operator,'[]'),G). '$do_error'(permispsion_error(create,operator,'[]'),G).
'$check_op_name'(_,_,'{}',G) :- !, '$check_op_name'(_,_,'{}',G) :- !,
'$do_error'(permission_error(create,operator,'{}'),G). '$do_error'(permission_error(create,operator,'{}'),G).
'$check_op_name'(P,T,'|',G) :- !, '$check_op_name'(P,T,'|',G) :-
( (
integer(P), integer(P),
P < 1001 P < 1001
; ;
Fix \== xfx, Fix \== xfy, Fix \== yfx, Fix \== yfy atom_codes(T,[_,_])
), ), !,
'$do_error'(permission_error(create,operator,'|'),G). '$do_error'(permission_error(create,operator,'|'),G).
'$check_op_name'(_,_,V,_) :- '$check_op_name'(_,_,V,_) :-
atom(V), !. atom(V), !.