[Caml-list] Accessing values calculated by Toploop.execute_phrase

[Philippe Veber <philippe.veber@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 950 bytes --]

Dear list,

  I'm having quite some fun interacting with the toplevel using `Toploop`
and co., and I am now looking for a way to get the values created during a
call to `Toploop.execute_phrase`, which sadly only returns a boolean. I
would like to get these values as `Obj.t` values, so that I could perform
additional computations for certain types.

I'm almost there but not yet:
  - I can find which values were created and what's their type by
collecting `Outcometree.out_path` values when they are printed, but this
doesn't give access to the actual value (represented as an `Obj.t`).
  - I could use `Toploop.getvalue`, but then I could not get results of
evaluations that were not bound to a variable.

Of course I know what I'm trying to do is highly unsafe, so I should
probably think of some other design. Still, out of curiosity, I'd be
interested if somebody knew a solution to this (I mean, besides "Don't do
it" :).

Cheers,
  Philippe.

[-- Attachment #2: Type: text/html, Size: 1159 bytes --]