summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2010-05-03 15:12:09 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2010-05-03 15:12:09 +0000
commitdbd3762a96f4db24f97bb5b1488edd95e8be2902 (patch)
tree069e3f81811ee613c683771da95a238e75100d6f
parent6fa137373ceec3624156bb1511cd7eae4f56dba5 (diff)
downloadocaml-dbd3762a96f4db24f97bb5b1488edd95e8be2902.tar.gz
ajout d'un fichier de test pour ocamldoc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--testsuite/tests/tool-ocamldoc/t03.ml7
-rw-r--r--testsuite/tests/tool-ocamldoc/t03.reference14
2 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/tests/tool-ocamldoc/t03.ml b/testsuite/tests/tool-ocamldoc/t03.ml
new file mode 100644
index 0000000000..43f1857d56
--- /dev/null
+++ b/testsuite/tests/tool-ocamldoc/t03.ml
@@ -0,0 +1,7 @@
+module Foo = struct type t = int let x = 1 end;;
+module type MT = module type of Foo;;
+module Bar = struct type t = int let x = 2 end;;
+
+module type MT2 = sig type t val x : t end;;
+module type Gee = MT2 with type t = float ;;
+module T = (val (if true then (module Foo:MT2 with type t = int) else (module Bar: MT2 with type t = int)) : MT2 with type t = int);; \ No newline at end of file
diff --git a/testsuite/tests/tool-ocamldoc/t03.reference b/testsuite/tests/tool-ocamldoc/t03.reference
new file mode 100644
index 0000000000..174e21991c
--- /dev/null
+++ b/testsuite/tests/tool-ocamldoc/t03.reference
@@ -0,0 +1,14 @@
+#
+# module T03:
+#
+# module T03.Foo:
+#
+# module type T03.MT:
+#
+# module T03.Bar:
+#
+# module type T03.MT2:
+#
+# module type T03.Gee:
+#
+# module T03.T: