Re: [Caml-list] [ANN] Bisect_ppx 1.0.0 – Modernized code coverage for OCaml

[Anton Bachin <antonbachin@yahoo.com>]

Alain, that is a pretty nice suggestion – thanks! I’ve opened an issue for it:

https://github.com/rleonid/bisect_ppx/issues/83

Gerd, are you still working on such projects, as would need these features? We
would consider adding them, but ideally, to remain grounded in reality, it would
be for ongoing, routine usage. It's just easier to get feedback that way and
avoid getting ahead of ourselves.

Actually, Alain's suggestion may make some such features easier to use.


Regards,
Anton




> On Feb 10, 2016, at 15:49, Alain Frisch <alain.frisch@lexifi.com> wrote:
> 
> On 10/02/2016 20:33, Anton Bachin wrote:
>> Assuming this is what Gerd is indeed looking for, I can confirm that
>> Bisect_ppx
>> still supports it. See
>> 
>> https://github.com/rleonid/bisect_ppx/blob/master/doc/advanced.md#unreachable-code
>> 
>> We preferred to document only BISECT_VISIT (which does the same thing),
>> in order
>> to have only option. But both Bisect_ppx and Bisect support BISECT_MARK and
>> BISECT_VISIT.
> 
> 
> It's great to see the development of Bisect resurrecting!
> 
> 
> Did you consider switching to attributes to mark code that must be excluded from the analysis, instead of special comments?  This seems simpler than having to scan again the source files, and it could be more robust when interacting with other ppx tools.
> 
> For instance:
> 
> 
> - Marking a sub-expression, often using the shorthand syntax:
> 
>  begin[@bisect.visit]
>    ...
>  end
> 
> - Marking a complete function:
> 
> 
>  let f x =
>     ...
>  [@@bisect.visit]
> 
>  or (in OCaml 4.03):
> 
>  let[@bisect.visit] f x =
>     ...
> 
> - Marking sections:
> 
> 
>    [@@@bisect.visit.begin]
>    ...
>    [@@@bisect.visit.end]
> 
> 
> 
> Alain
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs