ocamlspotter support in core
Sean McLaughlin
seanmcl at gmail.com
Sun Nov 13 00:30:01 GMT 2011
To clarify, if you're not using an ocamlspot-modified ocaml compiler,
it would just generate the (presumably unused) .annot files.
On Sat, Nov 12, 2011 at 7:25 PM, Sean McLaughlin <seanmcl at gmail.com> wrote:
> To generate .spot files, all you need is the -annot flag to
> ocaml{c,opt}. It seems harmless
> to enable this flag by default. Doesn't it? I'm not sure of the full
> implications.
>
> On Sat, Nov 12, 2011 at 1:22 PM, 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