Commit d3dc529e authored by POTTIER Francois's avatar POTTIER Francois

Comment out some dead code.

parent 36e1ed41
...@@ -9,6 +9,8 @@ class ['self] iter = object (_ : 'self) ...@@ -9,6 +9,8 @@ class ['self] iter = object (_ : 'self)
method private visit_'fn _env _x = () method private visit_'fn _env _x = ()
end end
(* The following are presently unused:
class ['self] map = object (_ : 'self) class ['self] map = object (_ : 'self)
method private extend x env = x, env method private extend x env = x, env
method private visit_'fn _env x = x method private visit_'fn _env x = x
...@@ -20,3 +22,5 @@ class virtual ['self] reduce = object (self : 'self) ...@@ -20,3 +22,5 @@ class virtual ['self] reduce = object (self : 'self)
method private restrict _x z = z method private restrict _x z = z
method private visit_'fn _env _x = self#zero method private visit_'fn _env _x = self#zero
end 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