Commit 8bfdf7fe authored by POTTIER Francois's avatar POTTIER Francois

Forgot to make the new methods private.

parent 49f51aaa
......@@ -103,7 +103,7 @@ class virtual ['self] map = object (self : 'self)
let u2 = visit_u env' u1 in
recursive, x2, t2, u2
method visit_tele: 't1 't2 .
method private visit_tele: 't1 't2 .
('env -> 't1 -> 't2) ->
'env -> ('bn1, 't1) tele -> ('bn2, 't2) tele * 'env
= fun visit_t env xts1 ->
......@@ -116,7 +116,7 @@ class virtual ['self] map = object (self : 'self)
let xts2, env = self#visit_tele visit_t env xts1 in
(x2, t2) :: xts2, env
method visit_telescope: 't1 't2 'u1 'u2 .
method private visit_telescope: 't1 't2 'u1 'u2 .
_ ->
('env -> 't1 -> 't2) ->
('env -> 'u1 -> 'u2) ->
......@@ -165,7 +165,7 @@ class virtual ['self] endo = object (self : 'self)
else
recursive, x2, t2, u2
method visit_tele: 't .
method private visit_tele: 't .
('env -> 't -> 't) ->
'env -> ('bn, 't) tele -> ('bn, 't) tele * 'env
= fun visit_t env xts1 ->
......@@ -181,7 +181,7 @@ class virtual ['self] endo = object (self : 'self)
else
(x2, t2) :: xts2, env
method visit_telescope: 't 'u .
method private visit_telescope: 't 'u .
_ ->
('env -> 't -> 't) ->
('env -> 'u -> 'u) ->
......@@ -230,7 +230,7 @@ class virtual ['self] reduce = object (self : 'self)
let zu = self#restrict x (visit_u env' u) in
self#plus zt zu
method visit_tele: 't .
method private visit_tele: 't .
('env -> 't -> 'z) ->
'env -> ('bn, 't) tele -> 'z * 'env
= fun visit_t env xts ->
......@@ -243,7 +243,7 @@ class virtual ['self] reduce = object (self : 'self)
let zxts, env = self#visit_tele visit_t env xts in
self#plus zt zxts, env
method visit_telescope: 't 'u.
method private visit_telescope: 't 'u.
_ ->
('env -> 't -> 'z) ->
('env -> 'u -> 'z) ->
......
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