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

fix goal expansion for with_output_to in SWI mode (obs from Roberto Bagnara).

This commit is contained in:
Vítor Santos Costa 2010-12-15 12:08:26 +00:00
parent bd6da9dd40
commit 1ca5c92469
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
library/dialect/swi.yap
View File

@ -191,7 +191,8 @@ goal_expansion(is_stream(A), system:swi_is_stream(A)) :- swi_io.
goal_expansion(set_stream(A,B),system:swi_set_stream(A,B)) :- swi_io.
% careful: with_output_to/2 requires setting user_output, and this
% confuses emulation.
goal_expansion(with_output_to(A,B),with_output_to(A,B)) :- swi_io.
goal_expansion(with_output_to(A,B),system:swi_with_output_to(A,NB)) :- swi_io,
expand_goal(B, NB).
goal_expansion(set_prolog_IO(A,B,C), system:swi_set_prolog_IO(A,B,C)) :- swi_io.
goal_expansion(protocol(A), system:swi_protocol(A)) :- swi_io.
goal_expansion(protocola(A), system:swi_protocola(A)) :- swi_io.