Commit cf35f24d authored by POTTIER Francois's avatar POTTIER Francois

VisitorsRuntime: make every method polymorphic in ['env] again,

as this seems more desirable in practice. The two options are
incomparable in expressive power anyway.
parent 9c394068
......@@ -11,12 +11,6 @@ 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.
VisitorsRuntime: make every method monomorphic in 'env.
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.
Documentation: added an example of constructing a lexicographic ordering.
Documentation: discussed generating visitors for existing types and ppx_import.
This diff is collapsed.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment