On Wed, 14 Mar 2007, Martin Jambon wrote:

> On Wed, 14 Mar 2007, Mattias W wrote:
>
> > For types, we could use .annot files, so greping in the .annot files
> > will show where a specific type is used.
> >
> > However, functions are not included in the .annot files (or I am
> > incorrect?).
>
> No, it's only locations of expressions, with their type as inferred at
> that point in the file.

I must be tired. Actually, type information is emitted for most
expressions and patterns. This includes functions definitions.
The caml2html "hover type display" shows only innermost types, but not
tuareg-mode (C-c C-t).


--
Martin Jambon
http://martin.jambon.free.fr

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"ocaml-developer" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/ocaml-developer?hl=en
For other OCaml forums, see http://caml.inria.fr/resources/forums.en.html
-~----------~----~----~----~------~----~------~--~---

Reply via email to