From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA06113 for caml-red; Fri, 9 Feb 2001 17:03:33 +0100 (MET) 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 PAA03173 for ; Fri, 9 Feb 2001 15:55:40 +0100 (MET) Received: from p-mail1.cnet.fr (p-mail1.rd.francetelecom.fr [193.49.124.31]) by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f19EtdP13399 for ; Fri, 9 Feb 2001 15:55:39 +0100 (MET) Received: by p-biset.rd.francetelecom.fr with Internet Mail Service (5.5.2653.19) id <1P169P8M>; Fri, 9 Feb 2001 15:55:38 +0100 Received: from lat4149.lannion.cnet.fr (lat4149.rd.francetelecom.fr [161.104.14.76]) by l-mhs1.lannion.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13) id 1SXYHCCD; Fri, 9 Feb 2001 15:53:15 +0100 Received: by lat4149.lannion.cnet.fr (Postfix, from userid 1053) id 995244507; Fri, 9 Feb 2001 15:55:33 +0100 (CET) Date: Fri, 9 Feb 2001 15:55:33 +0100 From: CREGUT Pierre FTRD/DTL/LAN To: caml-list@inria.fr Subject: Re: Help with toplevel Message-ID: <20010209155533.A16985@lat4149.ftrd> Mail-Followup-To: CREGUT Pierre FTRD/DTL/LAN , caml-list@inria.fr References: <200102081840.TAA09086@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.2.5i In-Reply-To: =?iso-8859-1?Q?=3C200102081840=2ETAA09086=40pauillac=2Einria=2Efr=3E=3B_?= =?iso-8859-1?Q?from_Pierre=2EWeis=40inria=2Efr_on_jeu=2C_f=E9v_08=2C_200?= =?iso-8859-1?Q?1_at_07:40:46_+0100?= Sender: weis@pauillac.inria.fr > > Then type in (don't forget the initial # sign, that > indicates a directive) > Yes but all beginers do the same mistake. May be the toplevel prompt should be changed to something else (different from #). This would not change our life but there would be less newcommers asking where is the use, cd, quit and al function. On a similar topic, the behaviour of printf that cannot be used in a partial application should be pointed out more strongly in the manual (red huge bold font) and more explicitely than the cryptic sentence : If too few arguments are provided, printing stops just before converting the first missing argument. Again a student lost a day this week trying to understand why he did not get parts of his results on the screen. Sure he will not do the mistake again ! Another solution would be to eta expand printf functions after it has been typed This would be externaly cleaner but may be not internaly. But, the code for supporting this function in the compiler is already so bloated anyway. Pierre Crégut -- Pierre Cregut - pierre.cregut@rd.francetelecom.fr - +33 2 96 05 16 28 FTR&D - DTL/MSV - 2 avenue Pierre Marzin - 22307 Lannion Cedex - France