From 1ca5c92469d44be638888cb636686b95b5120d6e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 15 Dec 2010 12:08:26 +0000 Subject: [PATCH] fix goal expansion for with_output_to in SWI mode (obs from Roberto Bagnara). --- library/dialect/swi.yap | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/library/dialect/swi.yap b/library/dialect/swi.yap index 13b2d444b..159acaa5a 100755 --- a/library/dialect/swi.yap +++ b/library/dialect/swi.yap @@ -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.