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 NAA05185; Sat, 13 Oct 2001 13:38:02 +0200 (MET DST) 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 NAA05204 for ; Sat, 13 Oct 2001 13:38:01 +0200 (MET DST) Received: from mail.mimuw.edu.pl (pm81.warszawa.cvx.ppp.tpnet.pl [213.76.108.81]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f9DBbxj19356 for ; Sat, 13 Oct 2001 13:37:59 +0200 (MET DST) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id LAA08132 for caml-list@inria.fr; Sat, 13 Oct 2001 11:19:26 +0200 X-Authentication-Warning: qrnik.zagroda: news set sender to Marcin 'Qrczak' Kowalczyk using -f From: "Marcin 'Qrczak' Kowalczyk" Subject: Re: [Caml-list] Re: [Caml-announce] OCamldoc Date: 13 Oct 2001 09:19:23 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: <15204.1002728341@saul.cis.upenn.edu> <3BC49730.28AE6FB@sbuilders.com> <9q7886$2p8$1@qrnik.zagroda> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit X-Trace: qrnik.zagroda 1002964763 8058 192.168.0.1 (13 Oct 2001 09:19:23 GMT) X-Complaints-To: news@qrnik.zagroda NNTP-Posting-Date: 13 Oct 2001 09:19:23 GMT User-Agent: slrn/0.9.7.2 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Fri, 12 Oct 2001 11:10:25 +0200, Sven pisze: > Suppose you have an editor which uses tab as 4 spaces, and you have : > > (** xxx **) (4 space used) > val f : t (a 4 space tab being used). > > Then the documentation tool, which see tabs as 8 space, or maybe 2, > or whatever will be confused, and the user will never understand it. The mistake is in using something other than 8 as tab size. I don't understand complaints that tabs are so bad because different tab sizes when mixing tabs with spaces cause confusion. The solution is simple: use 8 only as the size. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr