[Caml-list] Toplevel Wish

[Caml-list] Toplevel Wish

[Jonathan Roewen]

Hi,

I think it would be awesome if the toplevel would be able to spit out
the interface to a module.

Like:

# Printf;;
and it prints out a Module = sig ... end of the module if found.

or some other facility to view this information in the toplevel. Seems
it is capable of displaying pretty much everything else...

Jonathan

Re: [Caml-list] Toplevel Wish

[Eric Cooper]

On Fri, Feb 10, 2006 at 03:58:14PM +1300, Jonathan Roewen wrote:
> I think it would be awesome if the toplevel would be able to spit out
> the interface to a module.
> 
> Like:
> 
> # Printf;;
> and it prints out a Module = sig ... end of the module if found.

# module P = Printf;;
module P :
  sig
    val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a
    val printf : ('a, out_channel, unit) format -> 'a
    ....
  end

-- 
Eric Cooper             e c c @ c m u . e d u

Re: [Caml-list] Toplevel Wish

[Jon Harrop]

On Friday 10 February 2006 03:05, Eric Cooper wrote:
> # module P = Printf;;
> module P :
>   sig
>     val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a
>     val printf : ('a, out_channel, unit) format -> 'a
>     ....
>   end

Or if you don't want to pollute the namespace with a module called P:

# module Printf = Printf;;
module Printf :
  sig
    val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a
    val printf : ('a, out_channel, unit) format -> 'a
    ...
  end

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists

Re: [Caml-list] Toplevel Wish

[Michel Mauny]

Jonathan Roewen a écrit :

> I think it would be awesome if the toplevel would be able to spit out
> the interface to a module.
>
> Like:
>
> # Printf;;
> and it prints out a Module = sig ... end of the module if found.
>

Or like this: (;-))

# module P = Printf;;
module P :
  sig
    val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a
    val printf : ('a, out_channel, unit) format -> 'a
    val eprintf : ('a, out_channel, unit) format -> 'a
    val sprintf : ('a, unit, string) format -> 'a
    ...

Maybe *module _ = Printf ;;* would be slightly more elegant, but the
above does work.

Regards,

-- Michel