Commit e025c029 authored by POTTIER Francois's avatar POTTIER Francois

Variable renamings.

parent cfd869cf
......@@ -63,19 +63,19 @@ class virtual ['self] map = object (self : 'self)
_ ->
('env -> 'term1 -> 'term2) ->
'env -> ('bn1, 'term1) abs -> ('bn2, 'term2) abs
= fun _ f env (x, t) ->
let x', env' = self#extend x env in
x', f env' t
= fun _ f env (x1, t1) ->
let x2, env' = self#extend x1 env in
x2, f env' t1
method private visit_def: 'term1 'term2 .
_ ->
('env -> 'term1 -> 'term2) ->
'env -> ('bn1, 'term1) def -> ('bn2, 'term2) def
= fun _ f env (x, t, u) ->
let x', env' = self#extend x env in
let t' = f env t in
let u' = f env' u in
x', t', u'
= fun _ f env (x1, t1, u1) ->
let x2, env' = self#extend x1 env in
let t2 = f env t1 in
let u2 = f env' u1 in
x2, t2, u2
end
......@@ -94,26 +94,26 @@ class virtual ['self] endo = object (self : 'self)
_ ->
('env -> 'term -> 'term) ->
'env -> ('bn, 'term) abs -> ('bn, 'term) abs
= fun _ f env ((x, t) as this) ->
let x', env' = self#extend x env in
let t' = f env' t in
if x == x' && t == t' then
= fun _ f env ((x1, t1) as this) ->
let x2, env' = self#extend x1 env in
let t2 = f env' t1 in
if x1 == x2 && t1 == t2 then
this
else
x', t'
x2, t2
method private visit_def: 'term .
_ ->
('env -> 'term -> 'term) ->
'env -> ('bn, 'term) def -> ('bn, 'term) def
= fun _ f env ((x, t, u) as this) ->
let x', env' = self#extend x env in
let t' = f env t in
let u' = f env' u in
if x == x' && t == t' && u == u' then
= fun _ f env ((x1, t1, u1) as this) ->
let x2, env' = self#extend x1 env in
let t2 = f env t1 in
let u2 = f env' u1 in
if x1 == x2 && t1 == t2 && u1 == u2 then
this
else
x', t', u'
x2, t2, u2
end
......
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