From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0AH0T09030227 for ; Tue, 10 Jan 2012 18:00:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0GAAJuDE9ii1tgeGdsb2JhbAA2DZwnkFQBDAkLBxUEIoFtAQQBAQULIBUBAhUiAQ4GBUYvAQ4BBhIGhVuCKQumCgqCZYRYiTABBgoBjAgEiDqMWYVKK0iIOINf X-IronPort-AV: E=Sophos;i="4.71,488,1320620400"; d="scan'208";a="126292488" Received: from nm26.bullet.mail.sp2.yahoo.com ([98.139.91.96]) by mail4-smtp-sop.national.inria.fr with SMTP; 10 Jan 2012 18:00:26 +0100 Received: from [98.139.91.70] by nm26.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jan 2012 17:00:25 -0000 Received: from [98.139.91.56] by tm10.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jan 2012 17:00:25 -0000 Received: from [127.0.0.1] by omp1056.mail.sp2.yahoo.com with NNFMP; 10 Jan 2012 17:00:25 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 31373.79674.bm@omp1056.mail.sp2.yahoo.com Received: (qmail 63505 invoked by uid 60001); 10 Jan 2012 17:00:24 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1326214824; bh=wchVuinItO62ajKefJkV+4VvnY5UeLYvu2Ee6H1wLRs=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=s8RXNb1+Rr6ZmcwZbm/gdtDKR9z4hpmWFzqm2lUOoTc040v1To+uv5zU515aEFWK+JVZ+r9dZhWqXpDsizdA1GwUYqNxOp6/krRXhiFJwcxEIcyYNzbhZpEZfWgqs7shYDOS+81IqsOlORFtXz7uKrUiyF/SResPuk+yHr31cZQ= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=JyzZqTSZGhLgWupPP/UO6UT5pkaqxALe6nvoWg/SKrUDo/CjGSsUMNL40tCIdB3wLMP2FE9H5algrmbhAr+HH5JRTmgytIa6Z6WxN5A1raK96R05sgqVlxzUx2QtpY7nIDbw9NIe0J4GVpV4CbuhsikfFYRwqSOofRHuR+yS3TM=; X-YMail-OSG: RqT8DFoVM1kACPwh1B_4OwC289xbulb.GjqicbonABQE5FQ YJSH9RjypAwDj1jinswr2TgYbbUvrzywMt9scB_usYTA85TGQpq9NgfI9euF ucmZ88.TBpK5UoRDPU1OyMLLJ_wP6Iuf4IDKMkrE9_RR2uc2m2.6cGf4jGPX RTBExBCGP2N4Zal5qz6hRhthka5AjcsCfqSonaI31skxFaPoFfaylAtvRK_5 WWap_Szof5hOsWU42xb._4ekjCT8ZJKoR598ou9u_mlb6phk.pvv2Fa3HE8O RbvbhbVWufTkvXqjNWWdfBgb6FhtPxKp_17.gEOPW6mkv7HgLWfNi_RZk5I. l1tMRHlMg_Hma8RF4r1vpaThe5dX6UMHbbxEP2PWc2dZTeo8j0wpbC.dSDBs UZFssBN1jRwE5.cwVQOsE9ZpkY3CWINsgPlYRETK1DZJdengLQNnF1X8g7G_ 3JNHcXyMa15ebIg_0RzppEI1WA3WzvP6qPL1dJxpk0w-- Received: from [195.23.39.224] by web111507.mail.gq1.yahoo.com via HTTP; Tue, 10 Jan 2012 09:00:24 PST X-Mailer: YahooMailWebService/0.8.115.331698 References: <1326209342.96423.YahooMailNeo@web111502.mail.gq1.yahoo.com> Message-ID: <1326214824.62249.YahooMailNeo@web111507.mail.gq1.yahoo.com> Date: Tue, 10 Jan 2012 09:00:24 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: O Camlmailinglist In-Reply-To: <1326209342.96423.YahooMailNeo@web111502.mail.gq1.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0AH0T09030227 Subject: Re: [Caml-list] References and polymorphism Hi, Thank you, Romain and Arnaud.  With that "list ref" example in mind, it does make sense for the compiler to play it safe and declare foobar2 to be non-polymorphic.  Moreover, this is one of those issues where I I suspect that compiler elfs must have pondered already how easy/feasible it would be to extend the compiler to detect sound instances (such as foobar2) that could be accepted... Cheers, Dario Teixeira