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 QAA31661; Wed, 15 Sep 2004 16:24:01 +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 QAA23374 for ; Wed, 15 Sep 2004 16:24:00 +0200 (MET DST) Received: from mproxy.gmail.com (rproxy.gmail.com [64.233.170.195]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i8FENxos024334 for ; Wed, 15 Sep 2004 16:24:00 +0200 Received: by mproxy.gmail.com with SMTP id 78so214386rnk for ; Wed, 15 Sep 2004 07:23:49 -0700 (PDT) Received: by 10.38.96.12 with SMTP id t12mr622400rnb; Wed, 15 Sep 2004 07:23:48 -0700 (PDT) Received: by 10.38.75.19 with HTTP; Wed, 15 Sep 2004 07:23:48 -0700 (PDT) Message-ID: <7f8e92aa04091507237e187ac5@mail.gmail.com> Date: Wed, 15 Sep 2004 17:23:48 +0300 From: Radu Grigore Reply-To: Radu Grigore To: caml-list@inria.fr Subject: [Caml-list] Confused In-Reply-To: <7f8e92aa04091507233d074f31@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <41472EC6.2080007@gmx.net> <200409151428.54124.jon@jdh30.plus.com> <200409151513.13792.jon@jdh30.plus.com> <7f8e92aa04091507233d074f31@mail.gmail.com> X-Miltered: at concorde with ID 4148507F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 caml-list:01 2004:99 camlp:01 ctrl-c:01 ocaml:01 sep:01 sep:01 forwarded:97 typing:03 interpreter:03 wrote:03 loading:04 send:93 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Forgot to send it to the list too: ---------- Forwarded message ---------- From: Radu Grigore Date: Wed, 15 Sep 2004 17:23:11 +0300 Subject: Re: [Caml-list] Confused To: Jon Harrop On Wed, 15 Sep 2004 15:13:13 +0100, Jon Harrop wrote: > Thanks, John and Christoph and anyone else who replies before I get this > off. ;-) Ok, I got it too. But it still doesn't explain why I was unable to exit ocaml interactive interpreter after loading camlp4r and typing your exact example: exit doesn't work, #quit doesn't work, ctrl-C doesn't work, etc. The only solution that worked was ctrl-Z followed by "kill". regards, radu ------------------- 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