Version française
Home     About     Download     Resources     Contact us    
Browse thread
Invoking the standard library ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Teller <David.Teller@u...>
Subject: Re: [Caml-list] Invoking the standard library ?

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.