From be8304eeaa38576a3268e321e6d7578bf22450e9 Mon Sep 17 00:00:00 2001 From: Maxence Guesdon Date: Mon, 19 Apr 2010 16:32:57 +0000 Subject: [PATCH] complete test with 'with type ... :=' structure git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- testsuite/tests/tool-ocamldoc/t02.ml | 4 +++- testsuite/tests/tool-ocamldoc/t02.reference | 2 ++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/testsuite/tests/tool-ocamldoc/t02.ml b/testsuite/tests/tool-ocamldoc/t02.ml index f5cb84837..fa2416f89 100644 --- a/testsuite/tests/tool-ocamldoc/t02.ml +++ b/testsuite/tests/tool-ocamldoc/t02.ml @@ -1,2 +1,4 @@ -module Foo = struct type t = int let x = 1 end;; +module Foo = struct type u type t = int let x = 1 end;; module type TFoo = module type of Foo;; + +module type TBar = TFoo with type u := float;; diff --git a/testsuite/tests/tool-ocamldoc/t02.reference b/testsuite/tests/tool-ocamldoc/t02.reference index 6912ebbd2..8b29dd731 100644 --- a/testsuite/tests/tool-ocamldoc/t02.reference +++ b/testsuite/tests/tool-ocamldoc/t02.reference @@ -4,3 +4,5 @@ # module T02.Foo: # # module type T02.TFoo: +# +# module type T02.TBar: