Re: [Caml-list] New Ocaml Plug-in for NetBeans
On Tuesday 09 September 2008 06:31:51 you wrote: Sure, I had the same thought, but gzip already exists, doesn't require approval from INRIA, and .gz is easily read in just about any language (including OCaml). Once the .annot files are smaller than the source files I'm completely willing to generate them all the time. I think you will find that GZip is orders of magnitude less efficient that the approach I suggested and too slow to be useful in this case. For example, gzipping and unzipping the .annot files from the 4kLOC core of Smoke takes 0.5s. So GZip is too slow for interactive use even on this tiny code base. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?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
Re: [Caml-list] [ANN] OCamlSpotter: OCaml compiler extension for source browsing
Hi, Of course, I've already expressed my hope of incorporating it into the official compiler to the dev team. But I think it is not the right moment. I am sure it has some bugs and many things to be improved. Hopefully in future, when things become more stable and if the dev team is convinced. Cheers, Jun On Tue, Sep 9, 2008 at 2:17 PM, Nathaniel Gray [EMAIL PROTECTED] wrote: On Mon, Sep 8, 2008 at 4:24 AM, Jun Furuse [EMAIL PROTECTED] wrote: Hi, I have written a small compiler patch called ocamlspotter. It extends -annot option and records all the variable definition locations, so that we can jump from variable uses to their definitions easily from editors such as emacs. You have completely blown my mind. I was thinking about this very idea about 10 minutes ago in my car, and *blam* there it is. I should think about some other, more profitable ideas... I would suggest submitting this as a patch for inclusion. I've heard there are going to be enhancements to the .annot format in 3.11 so it's not unprecedented. Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http://mojave.cs.caltech.edu -- ___ 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
Re: [Caml-list] ocamlbuild and pack
Excerpts from johannes.kanig's message of Tue Sep 09 15:38:04 +0200 2008: Hi List, I have the following problem. I have three files, each consisting of one line: a.ml: type t = float b.ml: type t = A.t c.ml: include B Now I want to put these modules into a pack, but I only want to export A and C, so I write a file project.mli: module A : sig type t end module C : sig type t = A.t end As I want to use ocamlbuild, I also create a file project.mlpack: A C B should be in the pack even if you want to hide it. Now, the command ocamlbuild project.cmo works fine, but I can't build a library from that: ocamlbuild project.cma Circular dependencies: project.cmo already seen in [ b.cmo; project.cmo ] There clearly aren't any circular dependencies, are there? Am I missing something? B depends on A, but A is in the pack Project. {B|-Project} Project includes C, that depends on B. {Project-B} The problem goes away if I export B instead of C. So the troublemaker seems to be the include directive. In that case: * A is in Project {} * B depends on A that is in Project, but B is also in Project {} * C depends on B that is in Project {C-Project} No cycle in this one -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ 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
Re: [Caml-list] ocamlbuild and pack
On Tue, Sep 9, 2008 at 3:51 PM, Nicolas Pouillard [EMAIL PROTECTED] wrote: As I want to use ocamlbuild, I also create a file project.mlpack: A C B should be in the pack even if you want to hide it. Ok, that was the problem. Thanks! -- Johannes Kanig [EMAIL PROTECTED] ___ 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