OCaml Weekly News Previous week Up Next week

Hello

Here is the latest OCaml Weekly News, for the week of November 15 to 22, 2016.

  1. findlib-1.7.0
  2. Merlin 2.5.2 with OCaml 4.04.0 support
  3. llpp v23
  4. Other OCaml News

findlib-1.7.0

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00066.html

Gerd Stolpmann announced:
I just released findlib-1.7.0, with:

- new command "ocamlfind printppx" (by Hendrik Tews)
- support for raw_spacetime (with Mark Shinwell)
- some bugfixes

See the project page for more information:

http://projects.camlcity.org/projects/findlib.html
      
Bernhard Schommer then said and Gerd Stolpmann replied:
> it seems that the raw_spacetime folder is missing in site-lib-src.
> The configure script complains about this.

Correct, there is an error.

Released findlib-1.7.1 with the missing files.
      

Merlin 2.5.2 with OCaml 4.04.0 support

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00070.html

Frédéric Bour announced:
A new release of Merlin is available on opam. It can be installed with `opam
install merlin` or built from sources, available at
https://github.com/the-lambda-church/merlin .

Changes in version 2.5.1:
* Improved handling of case sensitivity on macOS.
* Gerd Stolpmann contributed support for customizing findlib package directories.
 This is achieved by the FINDLIB_PATH directive in .merlin (it corresponds to
the path variable in findlib.conf, and OCAMLPATH environment variable for
ocamlfind).
* For convenience with Bucklescript FFI, Merlin no longer checks that externals
are functions.

Version 2.5.2 added support for OCaml 4.04 and fixed a lot of bug.

As always you can find a changelog at
https://github.com/the-lambda-church/merlin/blob/master/CHANGELOG .

Thanks to Gerd Stolpmann and to all our previous contributors. The project is
also getting closer to OCaml Labs. Many thanks to Gemma for helping us to
improve the development and release process.

The Merlin team
      

llpp v23

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00072.html

nil announced:
New version of llpp (tagged v23) is now available at:
* http://repo.or.cz/w/llpp.git (has "tutorial" videos)
* https://github.com/moosotc/llpp/ (has a bugtracker)

============================================================================
Blurb

llpp is a graphical PDF viewer, which aims to superficially resemble
less(1)

============================================================================
Changes

* additional remote commands
* user supplied CSS for HTML/EPUB
* horizontal preloading
* optional EGL support
* dictionary lookup
  http://repo.or.cz/llpp.git/commit/29916e0cadcdf0ee3136fc3b4655b3c8b0d01a7b
* scripts/styles to comfortably convert/read wikipedia material
* zooming improvements (pivot zoom etc)
* 4.04.0 `-warn-error +a' fix (Tuncer Ayaz)
* bugfixes
* work on energy consumption reduction
* synced with mupdf 1.10 that boasts:
    BMP, SVG, GIF, FB2 suport
    internal links in HTML/EPUB
    more - http://git.ghostscript.com/?p=mupdf.git;a=blob;f=CHANGES;hb=1.10

============================================================================
macOS

Nicolás Ojeda Bär made llpp run on macOS "natively" (i.e. using cocoa)
https://github.com/nojb/llpp

The port is mostly functional, but:

a) there are some rough edges
b) few things probably do not quite work the way macOS aficionados
   expect them to
c) it lags a bit behind llpp's master

Don't let the above discourage you though.

Big thanks to Nicolás for coding, Nils Becker and Денис "сами Мы из
Нижнего[1] и у Нас три высшего" Барахтанов for testing, suggestions
and constructive critique.

Summary v22..v23
     1	Guillaume Hennequin
     1	Nicolas Ojeda Bar
     4	Tuncer Ayaz
   226	malc

Diffstat v22..v23
 .dir-locals.el           |    2 +-
 .gitignore               |    5 +-
 BUILDING                 |   10 +-
 KEYS                     |    9 +-
 Build.hs => Shakefile.hs |  103 ++--
 Thanks                   |    3 +
 build.sh                 |    4 +-
 config.ml                |  291 ++++++-----
 fixme                    |    1 -
 glfont.c                 |    2 +-
 lablGL/glArray.ml        |    3 -
 lablGL/glDraw.ml         |    2 +-
 lablGL/glMat.ml          |    2 +-
 lablGL/glMisc.ml         |    2 +-
 lablGL/glTex.ml          |    4 +-
 lablGL/raw.ml            |    2 +-
 link.c                   | 1199 +++++++++++++++++++++++++++-------------------
 main.ml                  | 1195 +++++++++++++++++++++++++--------------------
 misc/build.sh            |    8 -
 misc/completions/llpp.in |   11 +
 misc/cutrel              |    8 +
 misc/dicx                |   19 +
 misc/dllpp               |   16 +
 misc/epub.css            |    1 +
 misc/gc.awk              |   23 +
 misc/gc.py               |   23 -
 misc/keys.txt            |    2 +
 misc/llppac              |    7 +-
 misc/prince.css          |    1 +
 misc/wikipedia/wiki2.css |  275 +++++++++++
 misc/wikipedia/wpget     |   16 +
 parser.ml                |   14 +-
 pp.sed                   |    9 +-
 todo.org                 |   23 +
 utils.ml                 |   36 +-
 wsi.ml                   |   18 +-
 wsi.mli                  |    3 +
 37 files changed, 2061 insertions(+), 1291 deletions(-)


[1] "Мёльбурна" (sic) надо полагать
      

Other OCaml News

From the ocamlcore planet blog:
Here are links from many OCaml blogs aggregated at OCaml Planet,
http://ocaml.org/community/planet/.

Release of Alt-Ergo 1.30 with experimental support for models generation
 http://www.ocamlpro.com/2016/11/21/release-of-alt-ergo-1-30-with-experimental-support-for-models-generation/

OCaml 4.04, RISC-V, S/390, POWER and more …
 https://rwmj.wordpress.com/2016/11/19/ocaml-4-04-risc-v-s390-power-and-more/

Merlin 2.5.1 Released
 https://ocaml.io/w/Blog:News/Merlin_2.5.1_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