4.08 support broken (`List.concat_map`) about dolmen HOT 10 CLOSED

We may use stdcompat as we did in AE now? I can do it if you want :)

It's not the problem: the fix in the code is trivial (and dolmen already re-implements quite a few usual functions for lists here and there). The point is rather how to setup things so that the CI can check that things build with 4.08 (that one is relatively easy) and if possible that it behaves correctly, i.e. that the tests pass (that one is trickier, as explained above).

from dolmen.

Ah that's annoying indeed.

For the context: CI does not test 4.08 anymore because the model part depends on farith which introduces a dependency on ocaml >= 4.10. However, the parsing and typing part of the library actually still build with 4.08, even if we cannot actually test them (because most of the tests require the bin part which depends on the model part).

from dolmen.

We may use stdcompat as we did in AE now? I can do it if you want :)

from dolmen.

You don't want to bump the minimal version to 4.10? If the model part of Dolmen isn't a separated library, it will be painful to test the remainder part on 4.08.

from dolmen.

That's the easy solution, but is that okay for alt-ergo ?

from dolmen.

I don't know. We should ask if it's okay for Why3 ;)

from dolmen.

Why? Why3 does not depend on alt-ergo.

from dolmen.

In any case, I just pushed baaf1f9 to master which should solve the build issue on 4.08 for now. Ill continue and try to think if/how to best support versions of ocaml < 4.10 for the parsing library.

from dolmen.

FWIW list_concat_map was already defined in src/standard/expr.ml

from dolmen.

woops

from dolmen.