extra

git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9115 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer · Oct 30, 2008 · db44cdf · db44cdf
1 parent df9741a
commit db44cdf
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/testlabl/private.ml b/testlabl/private.ml
@@ -22,6 +22,10 @@ fun x -> (x : M3.t :> M1.t);;
 fun x -> (x : M3.t :> M.t);;
 module M4 : sig type t = private M3.t end = M2;; (* fails *)
 module M4 : sig type t = private M3.t end = M;; (* fails *)
-module M4 : sig type t = private M3.t end = M1;;
+module M4 : sig type t = private M3.t end = M1;; (* might be ok *)
 module M5 : sig type t = private M1.t end = M3;;
 module M6 : sig type t = private < n:int; .. > end = M1;; (* fails *)
+
+module Bar : sig type t = private Foobar.t val f : int -> t end =
+  struct type t = int let f (x : int) = (x : t) end;; (* must fail *)
+