ocamlspotter support in core

Jun Furuse jun.furuse at gmail.com
Sun Nov 13 01:52:28 GMT 2011


Hi,

I have worked a bit for the ocamlspot integration into OCamlPro's
binannot branch,
and it is somehow working.

The problem is : the branch has big diffs. I think it is unlikely we
can have it in 3.13...

Jun

On Sun, Nov 13, 2011 at 3:22 AM, Yaron Minsky <yminsky at gmail.com> wrote:
> Well, you can't create spot files without a patched version of the compiler,
> which seems unreasonable to expect.  You could imagine making the configure
> script discover if you have an ocamlspotter-capable compiler available, but
> I don't really know oasis well enough to do that myself.
> The -annot flag gives you some help (you can figure out the types of
> expressions), but not quite as much as ocamlspotter does.  I'm hoping we'll
> get something ocamlspotter-ish into the compiler proper by 3.13...
> y
>
> On Sat, Nov 12, 2011 at 12:10 PM, Sean McLaughlin <seanmcl at gmail.com> wrote:
>>
>> The default make setup doesn't build spot files.  Perhaps we can
>> include the -annot option as a default compiler flag, which doesn't
>> seem to hurt if you're not using an ocamlspotter version of ocaml, but
>> makes it possible to jump to function definitions in core from user
>> programs.
>
>



More information about the core mailing list