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

[Gerd Stolpmann <info@gerd-stolpmann.de>]

[-- Attachment #1: Type: text/plain, Size: 2749 bytes --]

Am Mittwoch, den 10.02.2016, 19:16 -0600 schrieb Anton Bachin:
> 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.

No, currently I'm not working in this area anymore. It's low priority. I
just wanted to give you some feedback.

Gerd


> 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
> 
> 

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------


[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 473 bytes --]