Commit caff325c authored by POTTIER Francois's avatar POTTIER Francois

Typos.

parent d137d137
...@@ -216,7 +216,7 @@ class virtual ['self] map = object (self : 'self) ...@@ -216,7 +216,7 @@ class virtual ['self] map = object (self : 'self)
| DoNotVisit -> | DoNotVisit ->
Obj.magic () Obj.magic ()
(* [visit_abstraction] updates the enriched environment using the auxiliary (* [visit_rebind] updates the enriched environment using the auxiliary
function [rebind]. *) function [rebind]. *)
method private visit_rebind: 'env 'p1 'p2 . method private visit_rebind: 'env 'p1 'p2 .
...@@ -225,7 +225,7 @@ class virtual ['self] map = object (self : 'self) ...@@ -225,7 +225,7 @@ class virtual ['self] map = object (self : 'self)
= fun visit_p penv p1 -> = fun visit_p penv p1 ->
visit_p (rebind penv) p1 visit_p (rebind penv) p1
(* A [recursive] is construct is visited in two successive phases. In the (* A [recursive] construct is visited in two successive phases. In the
first phase, we use [Extend/DoNotVisit] mode, which means that the first phase, we use [Extend/DoNotVisit] mode, which means that the
[current] component of the enriched environment is extended, but nothing [current] component of the enriched environment is extended, but nothing
else happens. The result of this phase is discarded. (It MUST be else happens. The result of this phase is discarded. (It MUST be
......
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