Commit ff0b194f authored by POTTIER Francois's avatar POTTIER Francois

Eta-expansion.

parent c7184fad
......@@ -27,6 +27,6 @@ let extend x env =
x', Atom.Map.add x x' env
class ['self] map = object (_ : 'self)
method private extend = extend
method private visit_'fn = lookup
method private extend x env = extend x env
method private visit_'fn env x = lookup env x
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