caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Changing toplevel options from the toplevel
@ 2011-02-19 16:39 rixed
  2011-02-19 16:47 ` rixed
  0 siblings, 1 reply; 2+ messages in thread
From: rixed @ 2011-02-19 16:39 UTC (permalink / raw)
  To: caml-list

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).


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] Changing toplevel options from the toplevel
  2011-02-19 16:39 [Caml-list] Changing toplevel options from the toplevel rixed
@ 2011-02-19 16:47 ` rixed
  0 siblings, 0 replies; 2+ messages in thread
From: rixed @ 2011-02-19 16:47 UTC (permalink / raw)
  To: caml-list

Ok, just seen bug 4460.
Sorry for the noise.


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2011-02-19 16:47 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-02-19 16:39 [Caml-list] Changing toplevel options from the toplevel rixed
2011-02-19 16:47 ` rixed

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).