[PPL-devel] Re: Problems with XSB 2.7.1

[Roberto Bagnara]

Terrance Swift wrote:
> Perhaps the following solutions would be best for your users who use
> versions 2.7 or 2.7.1.  In their .xsb/xsbrc.P file they simply add the
> lines
> 
> 	:- import add_alias/2 from file_io.
> 
> 	?- add_alias(user_output,1).
> 
> 	?- add_alias(user_input,0).
> 
> which will give the desired behavior for flush_output (and most other
> predicates).  The current CVS version has a slightly deeper fix.

Dear Terrance,

we can confirm that what you indicate above works well.
Thanks a lot!
Cheers,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it