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 pBNLZDmB022249
	for <caml-list@sympa-roc.inria.fr>; Fri, 23 Dec 2011 22:35:13 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Am0BAPXy9E7AbSoIe2dsb2JhbABDhD9QpFGCWCIBARYmBCGBcgEBBQwXDwFGEAkCCQ8CAiYCAhQYMYgPpjeRLxOBHIlKM2MEjUeHOpI2
X-IronPort-AV: E=Sophos;i="4.71,401,1320620400"; 
   d="scan'208";a="124496161"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Dec 2011 22:35:08 +0100
X-Envelope-From: oliver@first.in-berlin.de
Received: from first (e178031165.adsl.alicedsl.de [85.178.31.165])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id pBNLZ6Fm004028
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
	Fri, 23 Dec 2011 22:35:06 +0100
Received: by first (Postfix, from userid 1000)
	id BF745154036A; Fri, 23 Dec 2011 22:35:05 +0100 (CET)
Date: Fri, 23 Dec 2011 22:35:05 +0100
From: oliver <oliver@first.in-berlin.de>
To: =?utf-8?B?SsOpcsOpbWll?= Dimino <jeremie@dimino.org>
Cc: Dominique Martinet <dominique.martinet@student.ecp.fr>,
        =?utf-8?Q?=C3=87agdas?= Bozman <cagdas.bozman@ocamlpro.com>,
        caml-list@inria.fr
Message-ID: <20111223213505.GD5565@siouxsie>
References: <4EF4C1B4.30408@inria.fr>
 <20111223184023.GA13146@nautica>
 <CAAFKszFL5mP5Sr9+SavZWv=wFBC8vmunYdNS5Ob4Zebyk0v3zQ@mail.gmail.com>
 <20111223191028.GB13146@nautica>
 <1324668549.22984.93.camel@aurora>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <1324668549.22984.93.camel@aurora>
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
Subject: Re: [Caml-list] try ocaml website

On Fri, Dec 23, 2011 at 08:29:09PM +0100, Jérémie Dimino wrote:
> 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 = <abstr>
> # let x = 1;;
> val x : int = 1
> # Toploop.toplevel_env := env;;
> - : unit = ()
> # x;;
> Characters 0-1:
> Error: Unbound value x
[...]

Oh, cool. :-)

Ciao,
   Oliver