Commit a3908c3c authored by POTTIER Francois's avatar POTTIER Francois

Remove all TEMPORARY in the source code.

parent 26e9c3b5
......@@ -49,6 +49,7 @@ ppx_tools/genlifter.)
Avoid generating beta-redexes.
(fun (x, y) -> ...) z should be let (x, y) = z in ...
See [visit_types].
Re-introduce hoisting of closure allocations of the form [self#visit_foo]?
If so, share them when they have several occurrences.
......@@ -374,7 +374,6 @@ let rec visit_type (env_in_scope : bool) (ty : core_type) : expression =
(call (tycon_visitor_method tycon) [])
(map (visit_type false) tys)
(* TEMPORARY decide whether it is worthwhile to [hoist] the arguments *)
(* A type variable [tv] is handled by a virtual visitor method. *)
......@@ -461,7 +460,7 @@ and visit_types tys (ess : expression list list) : expression list =
whose length is [arity]. *)
assert (is_matrix (length tys) arity ess);
map2 (fun ty es ->
app (visit_type true ty) es (* TEMPORARY eliminate administrative beta-redexes *)
app (visit_type true ty) es
) tys ess
(* -------------------------------------------------------------------------- *)
......@@ -487,9 +486,6 @@ let constructor_declaration (cd : constructor_declaration) : case =
It should be attached to a type. Please use parentheses."
(* TEMPORARY use [cd.pcd_res] to check if this is a GADT
or an existential type? *)
(* This is either a traditional data constructor, whose components are
anonymous, or a data constructor whose components form an ``inline
record''. This is a new feature of OCaml 4.03. *)
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