Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
meaning of underscores
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Goffinet <goffinet@c...>
Subject: meaning of underscores
        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


Note: camels do roar