Type of prefix + and prefix ::

From: Laurent Chéno (laurent.cheno@hol.fr)
Date: Mon Dec 08 1997 - 08:31:45 MET

Next message: Francois Rouaix: "MMM Release, Calves Release"
Previous message: Daniel de Rauglaudre: "Grammars and pretty print"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Message-Id: <199712080831.JAA27421@mail1.isdnet.net>
Subject: Type of prefix + and prefix ::
Date: Mon, 8 Dec 97 09:31:45 +0200
From: Laurent Ch=?ISO-8859-1?Q?éno?= <laurent.cheno@hol.fr>
To: "Caml list" <caml-list@margaux.inria.fr>

Why ?

>> Caml Light version 0.73/Mac.3
>
>#prefix + ;;
>- : int -> int -> int = <fun>
>#prefix :: ;;
>- : 'a * 'a list -> 'a list = <fun>
>#

and not

prefix :: ;;
- : 'a -> 'a list -> 'a list = <fun>

It's strange, no ?

Next message: Francois Rouaix: "MMM Release, Calves Release"
Previous message: Daniel de Rauglaudre: "Grammars and pretty print"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:13 MET