Re: Syntax for label, NEW PROPOSAL

From: Sven LUTHER (luther@dpt-info.u-strasbg.fr)
Date: Wed Mar 15 2000 - 16:26:28 MET

  • Next message: Markus Mottl: "Re: Syntax for label, NEW PROPOSAL"

    On Wed, Mar 15, 2000 at 02:58:30PM +0100, Pierre Weis wrote:
    > $ ocamlpedantic
    > Objective Caml version 2.99+10
    >
    > # let sum l = List.fold_right ( + ) l 0;;
    > ^^^^^
    > This expression has type int -> int -> int but is here used with type 'a list

    Is this not because the new definition of List.fold_right wants the list
    first, and then only the function ?

    Friendly,

    Sven LUTHER

    This archive was generated by hypermail 2b29 : Fri Mar 17 2000 - 08:45:32 MET