From 76d423e47fbf2ff25d947f1e9b2f69f178e97642 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 8 Mar 2017 11:48:13 +0100
Subject: [PATCH] Add a test.

---
 test/dictionary.ml | 9 +++++++++
 test/misc.mllib    | 1 +
 2 files changed, 10 insertions(+)
 create mode 100644 test/dictionary.ml

diff --git a/test/dictionary.ml b/test/dictionary.ml
new file mode 100644
index 0000000..9886c41
--- /dev/null
+++ b/test/dictionary.ml
@@ -0,0 +1,9 @@
+type ('a, 'b) dictionary =
+  | Empty
+  | NonEmpty of 'a * 'b * ('a, 'b) dictionary
+[@@deriving visitors { variety = "map"; polymorphic = ["'b"] }]
+
+type ('a, 'b) dictionary2 =
+  | Empty
+  | NonEmpty of 'a * 'b * ('a, 'b) dictionary2
+[@@deriving visitors { name = "map2"; variety = "map"; polymorphic = ["'b"; "'env"] }]
diff --git a/test/misc.mllib b/test/misc.mllib
index 2b0c5e9..30e6ddb 100644
--- a/test/misc.mllib
+++ b/test/misc.mllib
@@ -1,3 +1,4 @@
+dictionary
 fold
 mapReduce
 map_from_fold
-- 
2.22.0