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 4AE9BBBAF for ; Tue, 4 May 2010 14:47:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtoAAKqz30uLEwExgGdsb2JhbACdRgEBCwsKBRMFHax2AY5OBYUT X-IronPort-AV: E=Sophos;i="4.52,327,1270418400"; d="scan'208";a="62120711" Received: from infao0809.mpi-sb.mpg.de (HELO hera.mpi-sb.mpg.de) ([139.19.1.49]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 04 May 2010 14:47:05 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=Message-ID:In-Reply-To: References:Date:Subject:From:To:Cc:MIME-Version:Content-Type: Content-Transfer-Encoding; bh=7MW1pSv7YIwaRoBmbu1IGvvYBEs8UUDuBw JIUeBDifQ=; b=V9iy4yWoxtnG4/71RQj7/qkczSeqcDBYwKjaOCl9csX0lyfoSp ZyCKfixHp3QTQbjnfaGHtvV1CEj/MG8vFCs34jjo9cMi1ciARrhvNsGEDefWiK7P gxA/54CmdIySlvyNBZJDo0khuddOsOPQjfytZRAv4yGU0NVgtj/qpcpDU= Received: from maniac.mpi-sb.mpg.de ([139.19.1.26]:39583) by hera.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1O9HWg-0008PC-FV; Tue, 04 May 2010 14:47:05 +0200 Received: from www-data by maniac.mpi-sb.mpg.de with local (Exim 4.69) (envelope-from ) id 1O9HWg-0000U3-4p; Tue, 04 May 2010 14:47:02 +0200 Received: from 80.146.185.83 (SquirrelMail authenticated user rossberg) by mail.mpi-sws.org with HTTP; Tue, 4 May 2010 14:47:02 +0200 (CEST) Message-ID: In-Reply-To: References: <602616.65342.qm@web111501.mail.gq1.yahoo.com> <4429.86797211251$1272970133@news.gmane.org> Date: Tue, 4 May 2010 14:47:02 +0200 (CEST) Subject: Re: [Caml-list] Re: Subtyping structurally-equivalent records, or something like it? From: rossberg@mpi-sws.org To: "Sylvain Le Gall" Cc: caml-list@inria.fr User-Agent: SquirrelMail/1.4.15 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal X-Spam: no; 0.00; subtyping:01 rossberg:01 le-gall:01 compiler:01 compiler:01 ocamlopt:01 andreas:01 caml-list:01 data:02 data:02 optimized:04 optimized:04 cases:08 mean:08 optimize:12 "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. /Andreas