diff options
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/tool-ocamldoc/t03.ml')
| -rw-r--r-- | ocaml-binary-annot/testsuite/tests/tool-ocamldoc/t03.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/tool-ocamldoc/t03.ml b/ocaml-binary-annot/testsuite/tests/tool-ocamldoc/t03.ml new file mode 100644 index 0000000000..43f1857d56 --- /dev/null +++ b/ocaml-binary-annot/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 |