From 57aafe5d2318b46f74caed27ab6f3f193b12fc96 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 14 Dec 2010 12:04:44 +0000 Subject: [PATCH] don't use with_output_to/2 from PLStream: it gets confused by whose stdout it should write to. --- library/dialect/swi.yap | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/library/dialect/swi.yap b/library/dialect/swi.yap index a31997aa7..2df4ba5c0 100755 --- a/library/dialect/swi.yap +++ b/library/dialect/swi.yap @@ -189,7 +189,9 @@ goal_expansion(open_null_stream(A), system:swi_open_null_stream(A)) :- swi_io. /* SWI specific */ 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. -goal_expansion(with_output_to(A,B),system:swi_with_output_to(A,B)) :- swi_io. +% careful: with_output_to/2 requires setting user_output, and this +% confuses emulation. +%goal_expansion(with_output_to(A,B),system:swi_with_output_to(A,B)) :- swi_io. 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.