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

don't test flag options.

Browse Source
This commit is contained in:
Vitor Santos Costa 2011-08-16 08:53:29 -07:00
parent 5a2aa219db
commit cd4d55be9b
2 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pl/flags.yap
View File

@ -754,8 +754,7 @@ yap_flag(user_error,Stream) :-
yap_flag(debugger_print_options,OUT) :- yap_flag(debugger_print_options,OUT) :-
var(OUT), var(OUT),
recorded('$print_options','$debugger'(OUT),_), !. recorded('$print_options','$debugger'(OUT),_), !.
yap_flag(debugger_print_options,Opts) :- !, yap_flag(debugger_print_options,Opts) :-
'$check_io_opts'(Opts, yap_flag(debugger_print_options,Opts)),
recorda('$print_options','$debugger'(Opts),_). recorda('$print_options','$debugger'(Opts),_).
:- recorda('$print_options','$debugger'([quoted(true),numbervars(true),portrayed(true),max_depth(10)]),_). :- recorda('$print_options','$debugger'([quoted(true),numbervars(true),portrayed(true),max_depth(10)]),_).
@ -763,8 +762,7 @@ yap_flag(debugger_print_options,Opts) :- !,
yap_flag(toplevel_print_options,OUT) :- yap_flag(toplevel_print_options,OUT) :-
var(OUT), var(OUT),
recorded('$print_options','$toplevel'(OUT),_), !. recorded('$print_options','$toplevel'(OUT),_), !.
yap_flag(toplevel_print_options,Opts) :- !, yap_flag(toplevel_print_options,Opts) :-
'$check_io_opts'(Opts, yap_flag(toplevel_print_options,Opts)),
recorda('$print_options','$toplevel'(Opts),_). recorda('$print_options','$toplevel'(Opts),_).
:- recorda('$print_options','$toplevel'([quoted(true),numbervars(true),portrayed(true)]),_). :- recorda('$print_options','$toplevel'([quoted(true),numbervars(true),portrayed(true)]),_).

2
pl/yio.yap
View File

@ -33,8 +33,6 @@
'$check_opt_read'(Opt, G). '$check_opt_read'(Opt, G).
'$check_opt'(stream_property(_,_),Opt,G) :- '$check_opt'(stream_property(_,_),Opt,G) :-
'$check_opt_sp'(Opt, G). '$check_opt_sp'(Opt, G).
'$check_opt'(yap_flag(_,_),Opt,G) :-
'$check_opt_write'(Opt, G).
'$check_opt_read'(variables(_), _) :- !. '$check_opt_read'(variables(_), _) :- !.
'$check_opt_read'(variable_names(_), _) :- !. '$check_opt_read'(variable_names(_), _) :- !.