From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBNJAUUL018127 for ; Fri, 23 Dec 2011 20:10:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EAPzQ9E5beUeT/2dsb2JhbABDhQ+nKIEFgXIBAQUjDwFGEAsaAhgOAgIUGDGID6YOkTmBL4lKM2MElQGSNg X-IronPort-AV: E=Sophos;i="4.71,400,1320620400"; d="scan'208";a="124490090" Received: from nautica.notk.org ([91.121.71.147]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Dec 2011 20:10:28 +0100 Received: by nautica.notk.org (Postfix, from userid 1001) id 087EEC009; Fri, 23 Dec 2011 20:10:28 +0100 (CET) Date: Fri, 23 Dec 2011 20:10:28 +0100 From: Dominique Martinet To: =?utf-8?Q?=C3=87agdas?= Bozman Cc: caml-list@inria.fr Message-ID: <20111223191028.GB13146@nautica> References: <4EF4C1B4.30408@inria.fr> <20111223184023.GA13146@nautica> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Validation-by: dominique.martinet@student.ecp.fr Subject: Re: [Caml-list] try ocaml website Hi, Çagdas Bozman wrote on Fri, Dec 23, 2011 : > > The only "real" thing that it's missing is a way to reset the toplevel > > without reloading the page. It's the same problem as with the real > > toplevel now that I think about it, but I didn't think of reloading the > > page directly! > > You can clear the editor view by using the command "clear()". Yes, I've seen that - what I mean isn't clearing the view, but really reseting the variables and whatever is defined. Maybe there actually is something in the standard toplevel, but I don't think I've ever heard about it :) The behaviour I want would be: # let x = 42;; val x : int = 42 # reset ();; - : unit = () # x;; Characters 0-1: Error: Unbound value x Regards, -- Dominique Martinet | Asmadeus