From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBNJTDGG018831 for ; Fri, 23 Dec 2011 20:29:13 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgEFAC/V9E7VuiYS/2dsb2JhbABDhD9QpFGCWIEFgXIBAQUMF1YQCQIaAiYCAiwrBogPpiGRNROBHIlKgRYEpzc X-IronPort-AV: E=Sophos;i="4.71,400,1320620400"; d="scan'208";a="136649353" Received: from solaria.dimino.org ([213.186.38.18]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Dec 2011 20:29:07 +0100 Received: from aurora (localhost.localdomain [127.0.0.1]) by solaria.dimino.org (Postfix) with ESMTP id 2B0FF8003C; Fri, 23 Dec 2011 20:29:07 +0100 (CET) Received: by aurora (Postfix, from userid 1000) id 241FE4ACCA; Fri, 23 Dec 2011 20:29:09 +0100 (CET) Message-ID: <1324668549.22984.93.camel@aurora> From: =?ISO-8859-1?Q?J=E9r=E9mie?= Dimino To: Dominique Martinet Cc: =?ISO-8859-1?Q?=C7agdas?= Bozman , caml-list@inria.fr Date: Fri, 23 Dec 2011 20:29:09 +0100 In-Reply-To: <20111223191028.GB13146@nautica> References: <4EF4C1B4.30408@inria.fr> <20111223184023.GA13146@nautica> <20111223191028.GB13146@nautica> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.0.3-3 Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBNJTDGG018831 Subject: Re: [Caml-list] try ocaml website Le vendredi 23 décembre 2011 à 20:10 +0100, Dominique Martinet a écrit : > 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 :) You can do that: # let env = !Toploop.toplevel_env;; val env : Env.t = # let x = 1;; val x : int = 1 # Toploop.toplevel_env := env;; - : unit = () # x;; Characters 0-1: Error: Unbound value x Cheers, -- Jérémie