<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2003/01/be8d2103b648794fe4a54265bfe59063"
  from="Remi VANICAT &lt;vanicat@l...&gt;"
  author="Remi VANICAT"
  date="2003-01-21T11:47:38"
  subject="Re: [Caml-list] view types in ocaml?"
  prev="2003/01/826f0fbaad9a50b70a73bc0e8f5f0fde"
  next="2003/01/f7d77168aebaebd82fa5520666ec3b3e"
  prev-in-thread="2003/01/18adbbf91ec34b35351de3a8ecc5092f"
  next-in-thread="2003/01/3876bfc8907bed74eae34a1e6f10c95e"
  prev-thread="2003/01/72c455ab961d117e66091b9e50b158a7"
  next-thread="2003/01/2b72d4c560e6efe5525adf0843857a06"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] view types in ocaml?">
<msg 
  url="2003/01/18adbbf91ec34b35351de3a8ecc5092f"
  from="Ed L Cashin &lt;cashin@c...&gt;"
  author="Ed L Cashin"
  date="2003-01-21T03:13:15"
  subject="[Caml-list] view types in ocaml?">
<msg 
  url="2003/01/be8d2103b648794fe4a54265bfe59063"
  from="Remi VANICAT &lt;vanicat@l...&gt;"
  author="Remi VANICAT"
  date="2003-01-21T11:47:38"
  subject="Re: [Caml-list] view types in ocaml?">
<msg 
  url="2003/01/3876bfc8907bed74eae34a1e6f10c95e"
  from="Ed L Cashin &lt;ecashin@u...&gt;"
  author="Ed L Cashin"
  date="2003-01-21T18:58:47"
  subject="Re: [Caml-list] view types in ocaml?">
</msg>
</msg>
</msg>
</thread>

<contents>
Ed L Cashin &lt;cashin@cs.uga.edu&gt; writes:

&gt; Hi.  I like ocamlbrowser well enough, but is there a way to view type
&gt; info right from the interactive ocaml prompt?
&gt;
&gt; Here's what I'm thinking of (which won't work, of course).
&gt;
&gt;           Objective Caml version 3.06
&gt;   
&gt;   # #load "unix.cma";;
&gt;   # Unix.LargeFile.lseek;;
&gt;   - : Unix.file_descr -&gt; int64 -&gt; Unix.seek_command -&gt; int64 = &lt;fun&gt;
&gt;   # Unix.LargeFile.stats;;
&gt;   type stats = {
&gt;     st_dev : int;

[...]

&gt;     st_ctime : float;
&gt;   } 

well, there is alway the module redefinition trick :

  # module M = Unix.LargeFile;;
   module M :
     sig
       val lseek : Unix.file_descr -&gt; int64 -&gt; Unix.seek_command -&gt; int64

[...]

    type stats =
      Unix.LargeFile.stats = {
      st_dev : int;

[...]

      st_ctime : float;
    }
    val stat : string -&gt; stats
    val lstat : string -&gt; stats
    val fstat : Unix.file_descr -&gt; stats
  end


of course, for very big module, this is not a solution.

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

