ciao icon indicating copy to clipboard operation
ciao copied to clipboard

(playground) pause/1 doesn't give browser time to do something

Open Jean-Luc-Picard-2021 opened this issue 2 years ago • 1 comments

Maybe this is an issue of flush_output/1. But I don't get this example working:

test :- write('Hello '), flush_output,
   pause(1),
   write('World!'), nl.

It waits but Hello is not seen partially:

https://ciao-lang.org/playground/

https://user-images.githubusercontent.com/95891213/185783467-ca7342ea-22cd-4aba-91cb-aa7ded5088ce.mp4

Jean-Luc-Picard-2021 avatar Aug 21 '22 08:08 Jean-Luc-Picard-2021

A related but different bug here: https://github.com/SWI-Prolog/swipl-devel/issues/1023

Jean-Luc-Picard-2021 avatar Aug 21 '22 08:08 Jean-Luc-Picard-2021

Related to https://github.com/ciao-lang/ciao/issues/58

jfmc avatar May 03 '24 06:05 jfmc