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