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

fix yap_flag(user_* (obs from Nicos).

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-02-27 14:20:34 +00:00
parent 665d426e13
commit e38c850361
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pl/flags.yap
View File

@ -741,23 +741,21 @@ yap_flag(stack_dump_on_error,X) :-
yap_flag(user_input,OUT) :-
var(OUT), !,
'$flag_check_alias'(OUT, user_input).
stream_property(OUT,alias(user_input)).
yap_flag(user_input,Stream) :-
'$change_alias_to_stream'(user_input,Stream).
set_stream(Stream, alias(user_input).
yap_flag(user_output,OUT) :-
var(OUT), !,
'$flag_check_alias'(OUT, user_output).
stream_property(OUT,alias(user_output)).
yap_flag(user_output,Stream) :-
'$change_alias_to_stream'(user_output,Stream).
set_stream(Stream, alias(user_output).
yap_flag(user_error,OUT) :-
var(OUT), !,
'$flag_check_alias'(OUT, user_error).
stream_property(OUT,alias(user_error)).
yap_flag(user_error,Stream) :-
'$change_alias_to_stream'(user_error,Stream).
set_stream(Stream, alias(user_error).
yap_flag(debugger_print_options,OUT) :-
var(OUT),