From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA03300; Mon, 4 Aug 2003 07:21:52 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA15055 for ; Mon, 4 Aug 2003 07:21:51 +0200 (MET DST) Received: from opus.davidb.org (66-75-152-1.san.rr.com [66.75.152.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h745Lof06287 for ; Mon, 4 Aug 2003 07:21:50 +0200 (MET DST) Received: from davidb by opus.davidb.org with local (Exim 3.31 #1 (Debian)) id 19jXmu-0004Mr-00; Sun, 03 Aug 2003 22:21:40 -0700 Date: Sun, 3 Aug 2003 22:21:40 -0700 From: David Brown To: Gerd Stolpmann Cc: David Brown , Alain , caml-list@inria.fr Subject: Re: [Caml-list] Re: GODI available for download Message-ID: <20030804052140.GA16739@davidb.org> References: <20030803152638.GA13353@davidb.org> <1059958171.4367.294.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1059958171.4367.294.camel@ice.gerd-stolpmann.de> User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 gerd:01 stolpmann:01 filenames:01 0200,:01 trivial:01 filesystem:02 tree:02 dave:03 04,:03 wrote:03 perl:03 aug:05 probably:05 cares:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Aug 04, 2003 at 02:49:32AM +0200, Gerd Stolpmann wrote: > > One question is, does GODI really require that? HFS preserves the case > > of filenames, and usually you can't tell it is case insensitive. Only > > if you try to create two filenames that differ only in case do you > > notice the problem. > > I can imagine that certain checks do not work properly, so maybe one or > the other error condition is not detected, or maybe filename > manipulations do not work always. In all of the programs I have worked with on case-preserving case-insensitive, only a few have ever failed. - Old versions of perl generated both a 'makefile' and a 'Makefile'. This has long been corrected. - OpenCM creates directories 'A', and 'a'. It actually works, since the filenames probably won't collide, but the resultant tree can't be moved to a case-sensitive filesystem. I have heard of one other, and it was fairly trivial to fix. I'm guessing that there is nothing in GODI that cares. Dave ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners