diff --git a/test/cloud.ml b/test/cloud.ml index 8f269b8e8c72fb4967c3929fbed0314d0df3fa92..88cca5971cbc93b6521d640f50771450bd174328 100644 --- a/test/cloud.ml +++ b/test/cloud.ml @@ -3,7 +3,12 @@ class ['self] base = object (_ : 'self) end type cloud = -| Point of (float[@name "real"]) * (float[@name "real"]) -| Clouds of cloud list -[@@name "nuage"] -[@@deriving visitors { variety = "map"; ancestors = ["base"] }] + | Point of (float[@name "real"]) * (float[@name "real"]) + | Clouds of cloud list + [@@name "nuage"] + [@@deriving visitors { variety = "map"; ancestors = ["base"] }] + +type 'a mylist = 'a list = + | [] [@name "nil"] + | (::) of 'a * 'a mylist [@name "cons"] + [@@deriving visitors { variety = "map" }]