| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
kernel closures.
|
|
pattern-matching names
|
|
|
|
|
|
|
|
|
|
tactic unification.
|
|
|
|
coinductive types.
|
|
|
|
|
|
|
|
of List
|
|
|
|
|
|
|
|
|
|
|
|
|
|
patterns with different variables
|
|
|
|
|
|
|
|
|
|
Still some discrepancies though. E.g.:
- some functions taking an equality as arguments have suffix `_f` but
not all;
- the functions possibly raising an error have still different kinds
of failure (Failure, Invalid_argument, Not_found or IndexOutOfRange,
and when in the first two cases, with no unique rules in the style
of the associated string - we thus avoid to document the exact
string used).
There are a few semantics changes:
- skipn_at_least now raises a `Failure` if its argument is negative;
- map3 raises an Invalid_argument "List.map3" rather than
Invalid_argument "map3" and similarly for map4
- internally, map3 and map4 are now tail-recursive (by uniformity);
- internally, split3 and combine3 are now tail-recursive (by uniformity);
- filter is now "smart" by default and smartfilter is deprecated;
- smartmap is now tail-recursive by default.
|
|
|
|
Could still be made more detailed with more time.
|
|
|
|
|
|
Introduced in #7177
|
|
notations.
|
|
|
|
|
|
|
|
This is needed for CI packages that use `META.coq` such as in
https://github.com/coq/coq/pull/7656 .
|
|
We bump Windows builds to 4.06.1, IMHO it makes sense to use the
latest OCaml version to build on that platform due to the support
status and number of fixes.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
