CHANGES 760 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1 2 3
Add a new variety of visitors, "mapreduce".

4 5 6 7 8 9
Documentation: a new subsection on OCaml objects,
entitled "Where the expressiveness of OCaml's type system falls short".
This section explains why "map" cannot be a subclass of "fold",
even though it should be.

10 11
VisitorsRuntime: make every method monomorphic in 'env.
12 13 14
In theory, this should be more flexible, as it allows overriding these methods
with code that actually uses the environment. In practice, I don't have a
compelling example where that would be necessary or useful.

16 17 18 19
Documentation: added an example of constructing a lexicographic ordering.
Documentation: discussed generating visitors for existing types and ppx_import.

POTTIER Francois's avatar
POTTIER Francois committed
20 21
Initial release.