Re: [Caml-list] A question about custom toplevels

[Alain Frisch <alain.frisch@lexifi.com>]

On 08/03/2018 15:18, Nicolás Ojeda Bär wrote:
> I do not think this is currently possible.
> 
> When you enter a phrase into the toplevel (custom or otherwise), it is
> compiled much the same way as if it had been written in a file and
> passed to ocamlc.
> To do so the compiler needs access to the signature information stored
> in the .cmi files of all referenced modules. This is completely
> independent of whether the code of those modules is linked into the
> toplevel or loaded separately which is what ocamlmktop is about.


The Env module has the following:

=======================================================
module Persistent_signature : sig
   type t =
     { filename : string; (** Name of the file containing the signature. *)
       cmi : Cmi_format.cmi_infos }

   (** Function used to load a persistent signature. The default is to 
look for
       the .cmi file in the load path. This function can be overridden 
to load
       it from memory, for instance to build a self-contained toplevel. *)
   val load : (unit_name:string -> t option) ref
end
=======================================================

This makes it possible to create a custom toplevel with some "embedded" 
.cmi files.

-- Alain