Commit 49f51aaa authored by POTTIER Francois's avatar POTTIER Francois

Use [unit_monoid] in [iter] and [iter2].

parent b3f82b9e
...@@ -260,12 +260,9 @@ end ...@@ -260,12 +260,9 @@ end
(* [iter] *) (* [iter] *)
class virtual ['self] iter = object (_ : 'self) class virtual ['self] iter = object (_ : 'self)
inherit ['self] reduce inherit ['self] reduce
inherit [_] VisitorsRuntime.unit_monoid
method private plus () () = ()
method private restrict _ () = () method private restrict _ () = ()
end end
(* -------------------------------------------------------------------------- *) (* -------------------------------------------------------------------------- *)
...@@ -343,10 +340,7 @@ end ...@@ -343,10 +340,7 @@ end
(* [iter2] *) (* [iter2] *)
class virtual ['self] iter2 = object (_ : 'self) class virtual ['self] iter2 = object (_ : 'self)
inherit ['self] reduce2 inherit ['self] reduce2
inherit [_] VisitorsRuntime.unit_monoid
method private plus () () = ()
method private restrict _ _ () = () method private restrict _ _ () = ()
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