From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 74DC8BBAF for ; Wed, 17 Feb 2010 21:33:36 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQFAA/he0vY7zq7e2dsb2JhbACPLYQLh0QIFQEBFiQDILAthH6IcgEBAwWEWASMBg X-IronPort-AV: E=Sophos;i="4.49,493,1262559600"; d="scan'208";a="57197737" Received: from gv-out-0910.google.com ([216.239.58.187]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Feb 2010 21:33:36 +0100 Received: by gv-out-0910.google.com with SMTP id s4so132341gve.28 for ; Wed, 17 Feb 2010 12:33:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:reply-to:received :in-reply-to:references:from:date:x-google-sender-auth:message-id :subject:to:cc:content-type; bh=n2eqUSk1g3S8rx6DiJl+T3mPKYlHVaBEn9q0R+kjyEc=; b=XsDXqzNzTbMPK93wnUWVcbDDC2I5dZUzBSQbJ7tdiOo7rXyVtj39G2adLfxISGZfLg yCddzHnvd8FwMsVXqJ25affCQkarmfnobMnNxBkVfy9NY5D2R1cyv6CYxFwhOTI3djWq eMMU/3ZL1bWiTlTm7QtN7HVve8kj012bh6uJw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:reply-to:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=wjRNwmghIhBBNn8iA//VQRx/GeJ5mO4/sGDHjDhz2uub6W5L1FfBNuEbVn2F16sPs6 to4kLKJDUfOHpaMIXTxpGItC6NFiDBB4ZOYELjSNyQOHe30IMz4g9k2FKF2xY2KfgwAX nGmeA6hyQfp2dua6cUwUKUOsQX4wTHwC+82G8= MIME-Version: 1.0 Sender: cppcrazy@gmail.com Reply-To: boris@yakobowski.org Received: by 10.204.145.23 with SMTP id b23mr583208bkv.17.1266438815232; Wed, 17 Feb 2010 12:33:35 -0800 (PST) In-Reply-To: <751552.2250.qm@web111505.mail.gq1.yahoo.com> References: <76c7f53f1002171141y68374f94u11d0ac807ccfee89@mail.gmail.com> <751552.2250.qm@web111505.mail.gq1.yahoo.com> From: Boris Yakobowski Date: Wed, 17 Feb 2010 21:33:15 +0100 X-Google-Sender-Auth: 475152dbf73183f5 Message-ID: <76c7f53f1002171233h5ed45fedy5b1f8f9b1db265f7@mail.gmail.com> Subject: Re: [Caml-list] type generalization of recursive calls To: Dario Teixeira Cc: The Caml Mailing List Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; yakobowski:01 yakobowski:01 recursive:01 ocaml:01 wrote:01 caml-list:01 boris:04 boris:04 typo:05 meant:06 wed:06 indeed:07 mean:08 feb:08 actually:10 On Wed, Feb 17, 2010 at 9:25 PM, Dario Teixeira wrote: > Assuming "3.13" is not a typo, and that you do not actually mean the > upcoming 3.12, what features can we expect in future versions of Ocaml? Sorry, I went too far. I indeed meant 3.12. -- Boris