print and output

print and output

[Michel Levy]

Bonjour,

Quand j'ecris (en Ocaml) le "programme" suivant :
        print_string ">>"; read_int ();;
l'impression a lieu apres la lecture, ce qui me surprend, car il est dit
val read_int : unit -> int
        Flush standart output then ...

Quand j'ecris le "programme" suivant :
        output_string ">>"; read_int ();;
l'impression a lieu avant la lecture, ce qui est heureux.

Pourquoi cette diffence, car je pensais que :
        print_string = output_string stdout

Hi

When I write (in OCAML) the following program :
        print_string ">>"; read_int ();;
the reading takes place before the printing, what surprises me.

On the contrary, when I write :
        output_string ">>"; read_int ();;
the printing takes place before the reading, what is better.

Why this difference, whereas I thought that :
        print_string = output_string stdout


Michel Levy
D106 - Laboratoire LSR
B.P.72 - 38402 SAINT MARTIN D'HERES CEDEX - France
Tel : 0476827246
e.mail : Michel.Levy@imag.fr

print and output

[Adam P. Jenkins]

Michel Levy writes:
 > Bonjour,
 > 
 > Quand j'ecris (en Ocaml) le "programme" suivant :
 >         print_string ">>"; read_int ();;
 > l'impression a lieu apres la lecture, ce qui me surprend, car il est dit
 > val read_int : unit -> int
 >         Flush standart output then ...
 > 
 > Quand j'ecris le "programme" suivant :
 >         output_string ">>"; read_int ();;
 > l'impression a lieu avant la lecture, ce qui est heureux.
 > 
 > Pourquoi cette diffence, car je pensais que :
 >         print_string = output_string stdout
 > 
 > Hi
 > 
 > When I write (in OCAML) the following program :
 >         print_string ">>"; read_int ();;
 > the reading takes place before the printing, what surprises me.
 > 
 > On the contrary, when I write :
 >         output_string ">>"; read_int ();;
 > the printing takes place before the reading, what is better.
 > 
 > Why this difference, whereas I thought that :
 >         print_string = output_string stdout
 > 
 > 
 > Michel Levy
 > D106 - Laboratoire LSR
 > B.P.72 - 38402 SAINT MARTIN D'HERES CEDEX - France
 > Tel : 0476827246
 > e.mail : Michel.Levy@imag.fr
 > 
 > 
 > 
 > 


That is kind of strange, since print_string is implemented with
output_string.  Maybe it just had to do with the order in which you
executed the commands, i.e. when the stdout buffer became full.

> cd /usr/local/lib/ocaml
> grep print_string pervasives.ml
let print_string s = output_string stdout s

To make the printing happen first in either case, you can add 
"flush stdout;".

	print_string ">>"; flush stdout; read_int ();;

Adam

Re: print and output

[Pierre Weis]

Bonjour,

> Quand j'ecris (en Ocaml) le "programme" suivant :
>         print_string ">>"; read_int ();;
> l'impression a lieu apres la lecture, ce qui me surprend, car il est dit

J'ai essaye' vos diffe'rentes versions, et toutes marchaient comme
vous vous y attendez. Je pense que votre proble`me vient peut-e^tre du
fait que vous utilisez la bibliothe`que Format. En ce cas, il y a un
retard a` l'impression car il faut attendre le mate'riel d'impression
pour pouvoir imprimer correctement. Si vous avez effectivement fait
open Format, il vous faut vider la queue d'impression avec
print_flush. E'crivez:

         print_string ">>"; print_flush (); read_int ();;

Ou bien appelez directement la primitive de base:

         Pervasives.print_string ">>"; read_int ();;

> Hi
> 
> When I write (in OCAML) the following program :
>         print_string ">>"; read_int ();;
> the reading takes place before the printing, what surprises me.

I tried your programs and they work fine, as you expect them to
work. My guess is that you don't use the basic print_string function,
but the one of the Format library module. That may be the case if you
have already open the Format module. In that case, you need to
flush the formatting queue with print_flush. You may write

         print_string ">>"; print_flush (); read_int ();;

Alternatively, you may directly call the standard primitive with:

         Pervasives.print_string ">>"; read_int ();;

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/