From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 3D77FBBAF; Wed, 11 Mar 2009 17:43:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswBAC+Ht0nRVd2Cm2dsb2JhbACCfpFyPwEBAQEBCAkKCRGrHIEGj28BAwEDhAoG X-IronPort-AV: E=Sophos;i="4.38,343,1233529200"; d="scan'208";a="24186115" Received: from mail-qy0-f130.google.com ([209.85.221.130]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Mar 2009 17:43:57 +0100 Received: by qyk36 with SMTP id 36so163553qyk.1 for ; Wed, 11 Mar 2009 09:43:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=twh1iFvnkeQFh6EkaGwM9Wiafn73Cdmq8DqrSv6kVoY=; b=sgcq6gKuG/yppxXjqzNlRDOKA6jK6oTZsN1ClhK71ikBa3i8OxWqLby5kx1JmV4RNt EB+GsQcPtnWijdvMRclvKfogXEJ9w0CYneqBoen7egg4K95+qkOwd6rMNlQXtgDTc4WY xRj+K3u4Fh3vEtpPCvVGDDTgiOmJGPo1eop5Q= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=rP9QgMW4CfUFcEZPWrWWoaO/10Hql6JPScIhLBiqqZuWr0UlZ5yQVWau6pnfDiIK42 W0LFDJ6iJjCg1XZWJCd11hbJgnb/o1eW3osVFHyxCAT7oApr+N2NO/q0d012NOofQ3bU aMhFcc4cr3P37CEgyf13Bwqa6KCEPhgChsRgY= MIME-Version: 1.0 Received: by 10.220.46.146 with SMTP id j18mr3364330vcf.45.1236789836439; Wed, 11 Mar 2009 09:43:56 -0700 (PDT) In-Reply-To: References: <87prgoydy1.fsf@aryx.cs.uiuc.edu> <21952156.346634.1236751878001.JavaMail.www@wwinf1b03> <6D1EF1C5-3561-4D45-AE32-48F80EC84E58@cs.princeton.edu> Date: Wed, 11 Mar 2009 12:43:56 -0400 Message-ID: Subject: Re: [Caml-list] typing problem with sexplib and mutually recursive polymorphic types From: Markus Mottl To: Damien Doligez Cc: Caml-list List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; recursive:01 markus:01 mottl:01 markus:01 mottl:01 damien:01 damien:01 type-checker:01 recursive:01 inference:01 iirc:01 object-:01 recursion:01 ocaml:01 ocaml:01 On Wed, Mar 11, 2009 at 12:16, Damien Doligez wro= te: > That is not quite true any more. =A0For example, I changed the > type-checker a few years ago to start with the user-provided type > when typing a let rec, in order to be able to debug my large > recursive definitions. =A0Note that I didn't do that from scrach, > I used an infrastructure that was already present for seeding the > type inference in some cases. =A0IIRC, it is there for some object- > oriented reason. Interesting, this change seems to have passed unobserved by me and is certainly a great debugging aid. Does this mean that eventually polymorphic recursion might be supported by OCaml? What's still missing for that feature? Regards, Markus --=20 Markus Mottl http://www.ocaml.info markus.mottl@gmail.com