From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1JGdDvS006398
	for <caml-list@sympa-roc.inria.fr>; Sat, 19 Feb 2011 17:39:13 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtkGAPWAX01c8w3B/2dsb2JhbACYKY5/uiANhVEE
X-IronPort-AV: E=Sophos;i="4.62,192,1297033200"; 
   d="scan'208";a="91650717"
Received: from dangi.happyleptic.org (HELO dangi) ([92.243.13.193])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Feb 2011 17:39:08 +0100
Received: from rixed by dangi with local (Exim 4.69)
	(envelope-from <rixed@happyleptic.org>)
	id 1Pqppr-0005KM-Mu
	for caml-list@inria.fr; Sat, 19 Feb 2011 17:39:07 +0100
Date: Sat, 19 Feb 2011 17:39:07 +0100
From: rixed@happyleptic.org
To: caml-list@inria.fr
Message-ID: <20110219163907.GA20459@happyleptic.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.18 (2008-05-17)
Subject: [Caml-list] Changing toplevel options from the toplevel

Hello!

The toplevel uses a bool reference named recursive_types from the
Clflags module. I'd like to know how I could set this flag to true
from within the toplevel instead of the command line (because I'd like
to force this option on so that my custom toplevel could work even if
not run with the proper command line).