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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 54590BBAF for ; Tue, 4 May 2010 15:43:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4BAMvA30tQW+UMmWdsb2JhbACRDowjFQEBAQEBCAsKBxEivACFEwSGMw X-IronPort-AV: E=Sophos;i="4.52,327,1270418400"; d="scan'208";a="58593930" Received: from lo.gmane.org ([80.91.229.12]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 May 2010 15:42:59 +0200 Received: from list by lo.gmane.org with local (Exim 4.69) (envelope-from ) id 1O9IOm-0006EV-4t for caml-list@inria.fr; Tue, 04 May 2010 15:42:56 +0200 Received: from ks368928.kimsufi.com ([94.23.39.26]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 04 May 2010 15:42:56 +0200 Received: from sylvain by ks368928.kimsufi.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 04 May 2010 15:42:56 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr connect(): No such file or directory From: Sylvain Le Gall Subject: Re: Subtyping structurally-equivalent records, or something like it? Date: Tue, 4 May 2010 13:42:43 +0000 (UTC) Message-ID: References: <602616.65342.qm@web111501.mail.gq1.yahoo.com> <4429.86797211251$1272970133@news.gmane.org> X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: ks368928.kimsufi.com User-Agent: slrn/pre1.0.0-11 (Linux) X-Spam: no; 0.00; le-gall:01 subtyping:01 rossberg:01 rossberg:01 le-gall:01 compiler:01 compiler:01 ocamlopt:01 wrote:01 data:02 data:02 optimized:04 optimized:04 anyway:05 cases:08 On 04-05-2010, rossberg@mpi-sws.org wrote: > "Sylvain Le Gall" : >> >> This is not about optimized compiler in this case but about data >> representation. Even if you use an optimized compiler (which is not >> really the case with ocamlopt), you won't change datastructure >> representation to optimize. > > What do you mean? There is no reason in general why a compiler cannot > optimize data representations, and some do in cases like this. > Anyway, if it comes to data alignement and things like that, the compiler should optimize data representations. But in this case, I really don't think we are talking about data alignement. Regards, Sylvain Le Gall