Commit f6cdb436 by POTTIER Francois

Add a test.

parent 9112e234
......@@ -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" }]
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