v1.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.