Hello
Here is the latest OCaml Weekly News, for the week of November 15 to 22, 2016.
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.
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
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) надо полагать
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
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.