Two questions about Toploop

[Marco Maggesi <maggesi@math.unice.fr>]

Hi, I have two questions about Toploop:

  (1) Would be difficult to write a function that builds the list of
      all of all values of a certain type?  E.g. a function

         get_toploop_int : unit -> (string * int) list

      with the behavior

         let a = 2;;
         let b = 3;;
         get_toploop_int ();;
           ==> ["a", 2; "b", 3]

  (2) It seems that the function Toploop.getvalue works only with
      variables defined in the top environment but not in
      (sub)modules.  E.g.

        # Pervasives.exit;;
        - : int -> 'a = <fun>
        # Toploop.getvalue  "Pervasives.exit";;
        >> Fatal error: Pervasives.exit unbound at toplevel
        Exception: Misc.Fatal_error.

      Is it possible to inspect values in the environment relative to
      other modules?

M.