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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8119BBB84 for ; Thu, 29 Jun 2006 00:27:30 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5SMRUJx013587 for ; Thu, 29 Jun 2006 00:27:30 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA27450 for ; Thu, 29 Jun 2006 00:27:29 +0200 (MET DST) Received: from nz-out-0102.google.com (nz-out-0102.google.com [64.233.162.196]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5SMRT9s032586 for ; Thu, 29 Jun 2006 00:27:29 +0200 Received: by nz-out-0102.google.com with SMTP id v1so1439027nzb for ; Wed, 28 Jun 2006 15:27:28 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=SbFedfGMAEXl3QOyiHSGifKGbu5eP+G3UHN3917/C+p65Va1FWzOlNV8dIOwOUjlfOtqI0NVHtRVbRYx9TPFYoHo1Btchdn++z6RxVvNIP7A+h5OJRDYF7kwgtZX3FwO9Y1tjHXSTN6/MRaovXPVxXtMPlKuGaV9QoPUy7C7HR8= Received: by 10.36.74.20 with SMTP id w20mr1835627nza; Wed, 28 Jun 2006 15:27:26 -0700 (PDT) Received: by 10.36.101.10 with HTTP; Wed, 28 Jun 2006 15:27:25 -0700 (PDT) Message-ID: Date: Thu, 29 Jun 2006 10:27:25 +1200 From: "Jonathan Roewen" To: skaller Subject: Re: [Caml-list] Typing unmarshalling without marshalling types Cc: caml-list@inria.fr In-Reply-To: <1151533191.5339.46.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <449BB0C6.5040204@ensta.fr> <1151533191.5339.46.camel@rosella.wigram> X-j-chkmail-Score: MSGID : 44A30251.000 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at concorde with ID 44A30252.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44A30251.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; marshalling:01 ocaml:01 bytecode:01 bytecode:01 ocaml:01 compiler:01 ocamlmktop:01 stdlib:01 compiler:01 iirc:01 caml-list:01 typing:01 executables:01 native:02 breaks:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 > It isn't broken. The need to search the environment for the > interpreter is mandated by the requirement scripts invoking > the names of ocaml executables are transparent with respect > to both: > > (a) whether the code is bytecode or native code > (b) the machine it runs on > > Hard coding the location of the interpreter breaks > requirement (b): it prevents shipping bytecode > from one machine to another because two people may > have installed the interpreter in different places > (indeed may be running different OS!) Err, what? OCaml already embeds the full path in bytecode (on unix-like systems). How should this be any different for an ocaml compiler tool? As an example: ocamlmktop DOES embed the full path. Also, paths to things like stdlib dir etc are full paths embedded in the compiler tools as well (iirc).