Commit 876ca2c7 authored by POTTIER Francois's avatar POTTIER Francois


parent f653e9e6
......@@ -77,6 +77,12 @@ Could define a fold visitor where the methods receive the names of the types,
data constructors, and record fields that are being visited. (As in
Develop [@deriving zippers] to produce a type of zippers,
and add an option for the environment to be a zipper
that is extended at every recursive call. (Yann Régis-Gianas.)
If there is more than one type, fix a distinguished root type,
so that we get n zipper types out of n source types.
Avoid generating beta-redexes.
(fun (x, y) -> ...) z should be let (x, y) = z in ...
See [visit_types].
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment