caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: rixed@happyleptic.org
To: caml-list@inria.fr
Subject: Re: [Caml-list] Calling the toplevel from the toplevel
Date: Sun, 27 Feb 2011 11:52:03 +0100	[thread overview]
Message-ID: <20110227105201.GA2765@happyleptic.org> (raw)
In-Reply-To: <20110227024520.GL18196@localhost>

> For this, you can change the Toploop.read_interactive_input reference to
> what you want to control what you input to the toplevel.

Yes, I tried this initially, having found this into the lwt top level.
Actually, there is many way to replace stdin by something else. My
main concern is for stdout, which appears explicitly in the code for the
toplevel directives.

> You therefore
> do not need to consider workarounds such as calling evaluation functions
> from code evaluated from the toplevel itself.

Calling the evaluator is the only way I've found to prevent the toplevel from
writing into stdout (apart from manipulations of the file descriptors themself,
which are error prone since ncurses also insist on writing on file descriptor
1).

> But it's a bit surprising that application bindings are not available
> when calling start_application from some code that is being loaded. If
> you insist on loading a .cmo instead of a .cma, the .cmo code is
> executed when loaded, while code in the .cma often seems to be executed
> only when required. That may solve your issue. Dunno.

The application is not loaded as a cmo nor as a cma, but linked into
a custom toplevel with mktoplevel, so I'm unsure if this remark applies.

> You've also got a Toplevel.toplevel_startup_hook ref that may be useful.

I will have a look to this one, thank you!


  reply	other threads:[~2011-02-27 10:52 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-02-26 21:44 rixed
2011-02-27  2:45 ` Guillaume Yziquel
2011-02-27 10:52   ` rixed [this message]
2011-02-27 12:00 ` Jérémie Dimino
2011-02-28 18:28   ` rixed
2011-02-28 20:30     ` Jérémie Dimino
2011-02-28 21:14       ` Yoann Padioleau
2011-03-03 18:34   ` rixed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20110227105201.GA2765@happyleptic.org \
    --to=rixed@happyleptic.org \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).