On Wednesday 20 August 2008 07:29:21 you wrote:
> So I already use Chamo for my daily work (development, edition of text
> files). What's missing now is access to more information like location of
> definitions, completion and so on. I'm waiting for the result of
> ocamlwizard[3] to see how to use these tools in Chamo to provide these
> missing features.

Intellisense-style completion would be incredibly productive, particularly in 
the context of GUI programming but note that doing this for LablGTK2 would 
require the system to have used type inference and type annotations on the 
structurally-typed objects in the source code to determine the type of the 
start of an expression in order to propose completions for it.

> 2. Use "dump" files to store the results of these tools and Makefile
> targets to produce them (that the way ocamldoc is used in Cameleon for
> browsing documentation)

I have found -dtypes to be very slow on large code bases and I assume this is 
because it generates such huge dump files. Perhaps this could be optimized 
somehow?

> [1] http://home.gna.org/cameleon/chamo.en.html
> [2] http://home.gna.org/cameleon/snippets.en.html
> [3] http://osp.janestcapital.com/files/ocamlwizard.pdf

These are really exciting projects... :-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply via email to