From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA00471 for caml-redistribution; Thu, 28 Nov 1996 14:50:43 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA11873 for <caml-list@pauillac.inria.fr>; Thu, 28 Nov 1996 11:19:05 +0100 (MET)
Received: from stroph.univ-st-etienne.fr (stroph.univ-st-etienne.fr [161.3.1.11]) by nez-perce.inria.fr (8.7.6/8.7.1) with ESMTP id LAA25587 for <caml-list@inria.fr>; Thu, 28 Nov 1996 11:19:02 +0100 (MET)
Received: from .univ-st-etienne.fr.univ-st-etienne.fr (vedrine.univ-st-etienne.fr [161.3.60.44])
          by stroph.univ-st-etienne.fr (8.7.6/jtpda-5.1) with SMTP id LAA22610
          for <caml-list@inria.fr>; Thu, 28 Nov 1996 11:19:13 +0100 (MET)
Message-Id: <2.2d.32.19961128102050.00683b1c@cit-novell.univ-st-etienne.fr>
X-Sender: goffinet@cit-novell.univ-st-etienne.fr(Unverified)
X-Mailer: Windows Eudora Pro Version 2.2d (32)
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: Quoted-Printable
Date: Thu, 28 Nov 1996 11:20:50 +0100
To: <caml-list@inria.fr>
From: Goffinet <goffinet@cit-novell.univ-st-etienne.fr>
Subject: meaning of underscores
Sender: weis

        Sorry another silly question!

        if you d=E9fine a "compose" function (compose g f returne g o f),=
 and
ask for=20

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 =3D <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