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 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 63585BC0B for ; Wed, 22 Nov 2006 00:20:46 +0100 (CET) Received: from smtp.andrew.cmu.edu (smtp.andrew.cmu.edu [128.2.10.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kALNKhL1010294 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Wed, 22 Nov 2006 00:20:45 +0100 Received: from [71.199.122.9] (c-71-199-122-9.hsd1.pa.comcast.net [71.199.122.9]) (user=seanmcl mech=PLAIN (0 bits)) by smtp.andrew.cmu.edu (8.13.6/8.13.6) with ESMTP id kALNKhUq009803 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Tue, 21 Nov 2006 18:20:43 -0500 Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Message-Id: <6BDD3772-05B7-41DD-B36C-B2CBB0D4B388@cmu.edu> Content-Type: text/plain; charset=US-ASCII; format=flowed To: caml-list@inria.fr From: Sean McLaughlin Subject: optimizing trivial functions Date: Tue, 21 Nov 2006 18:20:41 -0500 X-Mailer: Apple Mail (2.752.2) X-Scanned-By: MIMEDefang 2.57 on 128.2.10.83 X-Miltered: at discorde with ID 456389CC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; trivial:01 ocaml:01 compiler:01 functions:01 optimizing:02 let:03 let:03 optimized:04 depend:07 i'm:09 optimize:09 edu:15 code:17 code:17 thanks:17 Hello, Will the Ocaml compiler optimize the following code to let y = ()? I'm designing a program that will depend heavily on whether this code is optimized in this way. let f x1 x2 ... x100 = () let y = f x1 ... x100 Thanks, Sean