SWI-Prolog / packages-pengines

Pengines: Prolog engines
11 stars 13 forks source link

writeln/1 declared as safe in sandbox.pl #5

Closed torbjornlager closed 9 years ago

torbjornlager commented 10 years ago

writeln/1 seems to be available also outside SWISH and I note that it is declared as safe in sandbox.pl. A leftover mistake that should be fixed?

JanWielemaker commented 10 years ago

Why?  It doesn't harm the computing envitonment, does it?Torbjörn Lager notifications@github.com wrote:writeln/1 seems to be available also outside SWISH and I note that it is declared as safe in sandbox.pl. A leftover mistake that should be fixed?

— Reply to this email directly or view it on GitHub.

torbjornlager commented 10 years ago

No, it doesn't harm. But is it used? Ah, ok, I see now that it can be used to print to the terminal. Ok, so maybe it is useful for debugging purposes.

On Wed, Jun 25, 2014 at 9:47 AM, Jan Wielemaker notifications@github.com wrote:

Why? It doesn't harm the computing envitonment, does it?Torbjörn Lager < notifications@github.com> wrote:writeln/1 seems to be available also outside SWISH and I note that it is declared as safe in sandbox.pl. A leftover mistake that should be fixed?

— Reply to this email directly or view it on GitHub.

— Reply to this email directly or view it on GitHub https://github.com/SWI-Prolog/packages-pengines/issues/5#issuecomment-47070351 .

Torbjörn Lager Professor of General and Computational Linguistics Department of Philosophy, Linguistics and Theory of Science University of Gothenburg Box 200, SE-405 30 Gothenburg, Sweden Phone: +46317864962

JanWielemaker commented 10 years ago

Torbjörn Lager notifications@github.com wrote:No, it doesn't harm. But is it used? Ah, ok, I see now that it can be used to print to the terminal. Ok, so maybe it is useful for debugging purposes. 

If a predicate writes to current output, we can capture the output using with_output_to/2.

On Wed, Jun 25, 2014 at 9:47 AM, Jan Wielemaker notifications@github.com wrote:

Why? It doesn't harm the computing envitonment, does it?Torbjörn Lager < notifications@github.com> wrote:writeln/1 seems to be available also outside SWISH and I note that it is declared as safe in sandbox.pl. A leftover mistake that should be fixed?

— Reply to this email directly or view it on GitHub.

— Reply to this email directly or view it on GitHub https://github.com/SWI-Prolog/packages-pengines/issues/5#issuecomment-47070351 .

Torbjörn Lager Professor of General and Computational Linguistics Department of Philosophy, Linguistics and Theory of Science University of Gothenburg Box 200, SE-405 30 Gothenburg, Sweden Phone: +46317864962 — Reply to this email directly or view it on GitHub.