meaning of underscores

meaning of underscores

[Goffinet]

        Sorry another silly question!

        if you défine a "compose" function (compose g f returne g o f), and
ask for 

compose compose compose;;

        you get the expected types in the answer, but each of them is
prefixed by an underscore:

- : ('_a -> '_b) -> ('_c -> '_d -> '_a) -> '_c -> '_d -> '_b = <fun>

        I could not find help on theses _ , which seem to affect nothing,
this triple compose when evaluated works as expected. Is it in the reference
books? in the electronic reference manuel? somewhere in the iria server?

        thanks, and many roars

                        goffinet

Note: camels do roar

Re: meaning of underscores

[Pierre Weis]

>         you get the expected types in the answer, but each of them is
> prefixed by an underscore:

[English]
Have a look at the Caml FAQ:

http://pauillac.inria.fr/caml/FAQ/FAQ_EXPERT-eng.html#variables_de_types_faibles

[Franc,ais]
Regardez la Foire aux Questions du langage:

http://pauillac.inria.fr/caml/FAQ/FAQ_EXPERT-fra.html#variables_de_types_faibles

This must help a lot.

Pierre Weis

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