Previous week Up Next week


Here is the latest Caml Weekly News, for the week of February 08 to 15, 2011.

  1. unused function detection
  2. Mail GSoC
  3. Bisect 1.1 release
  4. Other Caml News

unused function detection


Radu Grigore asked and Gabriel Scherer replied:
> Is there a tool that finds unused functions?
> It seems there was none in 2004:

You may be interested in the Oug [1] tool


> Oug is a code analysis tool building reference graphs from OCaml
> code, that is graphs representing which elements (value, module,
> class, ...) reference which elements. We will also call these graphs
> dependency graphs, each edge of the graph being annotated by a
> dependency kind.
> It comes with the Ouglib library to be able to embed the analyzer in
> other OCaml applications.
> From the graph, various outputs can be obtained: list of elements
> not referenced anywhere (useless elements and potential dead code),
> various Graphiz graphs, ...
Jérôme Benoit also suggested:
I'm using at work. 

Written in OCaml. Easy to extend. I've fallen in love with it :)

Mail GSoC


Christophe TROESTLER announced:
Dear OCaml developers,

Google Summer of Code has been announced and we think that the OCaml
Community should participate to this event. We have setup a project on
the OCaml Forge to coordinate our effort.

We invite all students and would-be mentors to visit our wiki:

- If you are willing to be a mentor, you can make proposal (this will
  only be "draft" proposal, until one student pick it) and put the
  name on the mentor list:

- Students that would like to join can contact mentors of draft
  proposals or make new one and discuss them with possible mentors:

The first step we will have to pass is to have Google accept the OCaml
Community as a Mentoring organization.  To reach this goal, ideas are
welcome.  Some documents are available on this topic here:

We also have put online a first version of our answers to Google
questions (to be completed) :

Bisect 1.1 release


Xavier Clerc announced:
This post announces the 1.1 release of the Bisect project, whose goal is to 
a code coverage tool for the Objective Caml language.

Home page:

Main changes since 1.0:
  - update for Objective Caml 3.12.0
  - new build system (ocamlbuild-based)
  - reorganization of 'src' directory
  - 'instrument.cmo' renamed to 'bisect_pp.cmo' (and now depends on 'str.cma')
  - instrumentation modes ('safe', 'fast', and 'faster')
  - '-exclude' command-line switch to exclude functions from instrumentation
  - '(*BISECT-MARK*)' / '(*BISECT-VISIT*)' comments to mark lines
    comments to ignore parts of source file
  - bug #51: unportable use of 'which'
  - bug #52: thread-compatibility module does not compile
  - bug #59: instrumented code is 20 times slower

Other Caml News

From the ocamlcore planet blog:
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the
recent posts from the ocamlcore planet blog at


Bisect 1.1:

ocamleditor-1.6.0 released:

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt