From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 34DCD7ED5C for ; Sat, 4 Aug 2012 01:14:39 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jacques.garrigue@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="jacques.garrigue@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of jacques.garrigue@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="jacques.garrigue@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkFAEBaHFDRVda2k2dsb2JhbABFDql6iVuFTwgiAQEBAQkJCwkUBCOCIAECFgITGQEbHQEDEQEFFVQRAQUBIgESEQoHh1sBAwyeGAkDjCOCcYUXChknDVeIcQEFDJJAA6N6PoNFOw X-IronPort-AV: E=Sophos;i="4.77,709,1336341600"; d="scan'208";a="169043153" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Aug 2012 01:14:38 +0200 Received: by obbun3 with SMTP id un3so2899912obb.27 for ; Fri, 03 Aug 2012 16:14:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:importance:x-priority:date:message-id:subject:to :cc:content-type; bh=F82xrJ3FVkka7cheIw2SS8hsKR0IvgulJQgYuml2WyI=; b=XdDkJaWp3uMWLfkq+lumLjTMw/eMLZnSXPpLbn5/gSckdicj3MdAi1H6OTyR3HghTD wUmGVne2AR95GYTNQuJDulf9vhXFuXieiFKAeT1i1b2WZP0ONs4I1Ma4FG/p3n/qDzKg iNebgtTgAbYxthWmyfBGlecJeOhouaulomUJADFk8y+6HORsRmvXPw9/Z3qtdlD/Slcy LPFmchPv/PZrQfGZsn9eKE0Pqlda9GDuzKskPdt3DVjSgJ5EbY4wmK1dtUEOZoNQrltQ UWfbcGwu6RWomJ+qQEAn3kqEOjmDG3fgL/XZBgTMfd6fRfQvgoUPOr/Ra8Ais5v0Ichf GwlQ== Received: by 10.60.13.201 with SMTP id j9mr8080285oec.51.1344035677398; Fri, 03 Aug 2012 16:14:37 -0700 (PDT) MIME-Version: 1.0 From: Jacques Garrigue Importance: normal X-Priority: 3 Date: Sat, 4 Aug 2012 01:14:44 +0200 Message-ID: <7462100669208928703@unknownmsgid> To: Ivan , Garrigue Jacques Cc: "Mailing, OCaML" Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: garrigue@math.nagoya-u.ac.jp Subject: RE: [Caml-list] type inference with classes From: Ivan >>The fact is that, at least in lablgtk-2.14.2 (the current version), the >> type is >> >> expand_row : ?all:bool -> Gtk.tree_path -> unit >The first thing I've tried was specifying explicitly argument ~all. But >compiler refused to accept this too, with exactly the same error message... For the ~all argument to be properly processed, you first need the type of the method to be known. The best solution is to put a type annotation on v. The next solution is to pass an explicit optional argument: v#expand_row ?all:None x I don't like it much because parameter order matters. Jacques