On Tue, Jan 26, 2016 at 1:57 PM, Ivan Gotovchits <ivg@ieee.org> wrote:

I hope that the change will not modify library names retrospectively? I.e., the old versions will be still available under the `.syntax` names?

The '.syntax' names are gone. I thought about keeping them as aliases, but eventually they'll go away and this split already breaks opam dependencies, so it's simpler to just do the full upgrade right now.

Also, presumably some tools rely on the `.syntax` extension, maybe it is better to preserve the extension, i.e., to use `pa_sexp_conv.syntax`?

So far we only did this for syntax extensions with a runtime part. For instance type_conv doesn't have a .syntax package. Do you know of any tool that rely on this?

Jeremie