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=AWL autolearn=disabled version=3.1.3 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 D2547BBC1 for ; Wed, 30 Apr 2008 13:33:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsAAAf2F0jCpx6wlmdsb2JhbACRUQEBAQEJBQgYmno X-IronPort-AV: E=Sophos;i="4.25,728,1199660400"; d="scan'208";a="11684612" Received: from smtpmin.univ-orleans.fr (HELO min.univ-orleans.fr) ([194.167.30.176]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Apr 2008 13:33:53 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id 80D0712B3D6; Wed, 30 Apr 2008 13:33:53 +0200 (CEST) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id DDB2D36E5B; Wed, 30 Apr 2008 13:33:54 +0200 (CEST) Subject: Re: [Caml-list] Invoking the standard library ? From: David Teller To: Jacques Garrigue Cc: ecc@cmu.edu, caml-list@yquem.inria.fr In-Reply-To: <20080430.090541.77051652.garrigue@math.nagoya-u.ac.jp> References: <1209479205.11285.15.camel@Blefuscu> <20080429181958.GB18818@stratocaster.home> <20080430.090541.77051652.garrigue@math.nagoya-u.ac.jp> Content-Type: text/plain Date: Wed, 30 Apr 2008 13:35:14 +0200 Message-Id: <1209555314.6823.14.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; univ-orleans:01 ocaml's:01 compiler:01 cheers:01 univ-orleans:01 lifo:01 liquidations:98 wrote:01 caml-list:01 modules:02 binary:02 garrigue:03 module:03 jacques:03 library:03 On Wed, 2008-04-30 at 09:05 +0900, Jacques Garrigue wrote: > This is a limitation of ocaml's mapping between file names and > modules: a program cannot contain two files with the same name. > Even if you somehow succeed in doing so by tricking the compiler, > you're on your way for lots of trouble. Yeah, that's what I'm realising at the moment. Even with my Inrialib.List, I end up with "inconsistent assumptions". > It has been discussed at times that putting the standard library in a > packed module would alleviate this problem. However, this would make > it monolithic, meaning that all programs would have to include all the > standard library. Would that change the final binary ? Cheers, David -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.