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.
It is still in a beta version quality, but it is already very useful to browse very complex ocaml project trees.
The source is available as a diff against a cvs version of OCaml compiler at:
> 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.
> It is still in a beta version quality, but it is already very useful > to browse very complex ocaml project trees.
> The source is available as a diff against a cvs version of OCaml compiler > at:
On Mon, Sep 8, 2008 at 4:24 AM, Jun Furuse <jun.fur...@gmail.com> 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.
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.
On Tue, Sep 9, 2008 at 2:17 PM, Nathaniel Gray <n8g...@gmail.com> wrote: > On Mon, Sep 8, 2008 at 4:24 AM, Jun Furuse <jun.fur...@gmail.com> 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.
>> 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. >From what I've heard, there's also an OCaml summer of code project
that enriched the info found in .annot files. So, it's certainly time to discuss extensions to .annot files, but let's do that globally, not one at a time. It is probably too late for inclusion in 3.11, but as long as these extensions are backward compatible, inclusion in bugfix releases can be considered.
|
