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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id A4515BC0B for ; Sat, 9 Dec 2006 01:55:30 +0100 (CET) Received: from chokecherry.srv.cs.cmu.edu (CHOKECHERRY.SRV.CS.CMU.EDU [128.2.185.41]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kB90tSuW028934 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Sat, 9 Dec 2006 01:55:30 +0100 Received: from stratocaster.home (c-24-3-144-139.hsd1.mn.comcast.net [24.3.144.139]) (authenticated bits=0) by chokecherry.srv.cs.cmu.edu (8.13.6/8.13.6) with ESMTP id kB90tROs015623 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Fri, 8 Dec 2006 19:55:27 -0500 (EST) Received: from ecc by stratocaster.home with local (Exim 4.63) (envelope-from ) id 1GsqUc-0000y0-5q for caml-list@yquem.inria.fr; Fri, 08 Dec 2006 19:55:06 -0500 Date: Fri, 8 Dec 2006 19:55:06 -0500 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] A Question About Types and Inlining Message-ID: <20061209005506.GD3642@localhost> Mail-Followup-To: caml-list@yquem.inria.fr References: <4579F1A4.6080606@ichips.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4579F1A4.6080606@ichips.intel.com> User-Agent: Mutt/1.5.13 (2006-08-11) From: Eric Cooper X-Miltered: at discorde with ID 457A0980.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; inlining:01 wrote:01 signatures:01 signatures:01 typing:01 caml-list:01 int:01 int:01 modules:02 types:03 optimization:03 optimization:03 overhead:04 fri:05 dec:05 On Fri, Dec 08, 2006 at 03:13:40PM -0800, Jim Grundy wrote: > [...] > The signatures of these modules currently contain lines like this: > type variable (* = int *) > [...] > 1/ Is there some way I can reveal this representation to the parts of > the system that clearly need it for effective optimization, without > opening this up for general use. You can use type variable = Variable of int etc. in your signatures. This makes the representation visible for optimization purposes, incurs no representation overhead, but will catch most typing mistakes. -- Eric Cooper e c c @ c m u . e d u