Commit daf588a5 authored by POTTIER Francois's avatar POTTIER Francois

Include tests of [endo].

parent 3281f2f2
......@@ -1724,7 +1724,12 @@ and custom_tree = CustomDummy
| CustomOther of string * (custom_tree list)
*)
[@@deriving visitors { variety = "iter"; ancestors = ["Support.iter"]; irregular = true },
visitors { variety = "map"; ancestors = ["Support.map"]; irregular = true }
visitors { variety = "map"; ancestors = ["Support.map"]; irregular = true },
visitors { variety = "endo"; irregular = true },
visitors { variety = "reduce"; irregular = true },
visitors { variety = "iter2"; irregular = true },
visitors { variety = "map2"; irregular = true },
visitors { variety = "reduce2"; irregular = true }
]
(* Provide the missing methods so as to obtain concrete classes. *)
......
......@@ -3,6 +3,9 @@ type u = Uber
[@@deriving
visitors { variety = "iter" },
visitors { variety = "map" },
visitors { variety = "reduce" },
visitors { variety = "endo" },
visitors { variety = "iter2" },
visitors { variety = "map2" }
visitors { variety = "map2" },
visitors { variety = "reduce2" }
]
......@@ -3,6 +3,9 @@ type point =
[@@deriving
visitors { variety = "iter" },
visitors { variety = "map" },
visitors { variety = "reduce" },
visitors { variety = "endo" },
visitors { variety = "iter2" },
visitors { variety = "map2" }
visitors { variety = "map2" },
visitors { variety = "reduce2" }
]
......@@ -14,8 +14,11 @@ and term_list =
[@@deriving
visitors { variety = "iter"; concrete = true },
visitors { variety = "map"; concrete = true },
visitors { name = "iter2"; variety = "iter2" },
visitors { name = "map2"; variety = "map2" }
visitors { variety = "reduce"; concrete = true; ancestors = ["VisitorsRuntime.addition_monoid"] },
visitors { variety = "endo"; concrete = true },
visitors { variety = "iter2"; concrete = true },
visitors { variety = "map2"; concrete = true },
visitors { variety = "reduce2"; concrete = true; ancestors = ["VisitorsRuntime.addition_monoid"] }
]
let identity : term =
......
......@@ -5,8 +5,11 @@ type ('var, 'binder) term =
[@@deriving
visitors { variety = "iter" },
visitors { variety = "map" },
visitors { variety = "reduce" },
visitors { variety = "endo" },
visitors { variety = "iter2" },
visitors { variety = "map2" }
visitors { variety = "map2" },
visitors { variety = "reduce2" }
]
(* Nominal. *)
......
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