[opam-commits] Passed: gares/opam-repository#27 (release-elpi-1.8.0 - 4490eaa)

Travis CI builds at travis-ci.org
Tue Oct 29 12:40:11 GMT 2019


Build Update for gares/opam-repository
-------------------------------------

Build: #27
Status: Passed

Duration: 16 mins and 59 secs
Commit: 4490eaa (release-elpi-1.8.0)
Author: Enrico Tassi
Message: [new release] elpi (1.8.0)

CHANGES:

- Bugfix:
  - `shorten foo.{ bar }.` when `foo.bar` is a builtin used to be miscompiled.
  - `elpi-typechecker.elpi` now correclty stops printing warnings after it
    printed 10 (used to stop after he processed 10, that may not be the same
    thing, since some warnings are suppressed).

- Parser:
  - Interpret `-2` (with no space) as the negative `2` not as the constant `-2`.
    This way `X is 3 - 2` and `Y is 3 + -2` are both valid.

- FFI:
  - `OpaqueData` now requires a ternary comparison, not just equality.

- Stdlib:
  - new data type `cmp` for ternary comparison.
  - `std.set` and `std.map` now based on ternary comparison.

- Builtin:
  - `cmp_term` giving an order on ground terms.
  - `ground_term` to check if a term is ground.

View the changeset: https://github.com/gares/opam-repository/compare/a8bef00e66e8^...4490eaacf69e

View the full build log and details: https://travis-ci.org/gares/opam-repository/builds/604415028?utm_medium=notification&utm_source=email

--

You can unsubscribe from build emails from the gares/opam-repository repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=12544626&utm_medium=notification&utm_source=email.
Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notification&utm_source=email.
Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-commits/attachments/20191029/6702911c/attachment.html>


More information about the Opam-commits mailing list