forgot to promote

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-21 01:18:36 +00:00 · 2012-07-21 01:18:36 +00:00 · 8f165f2c30
parent d94c59240f
commit 8f165f2c30
1 changed files with 4 additions and 0 deletions
--- a/testsuite/tests/typing-sigsubst/sigsubst.ml.reference
+++ b/testsuite/tests/typing-sigsubst/sigsubst.ml.reference
@ -33,4 +33,8 @@ Error: Multiple definition of the type name t.
  sig module T : sig type exp type arg end val f : T.exp -> T.arg end
 # module M : sig type exp = string type arg = int end
 # module type S' = sig val f : M.exp -> M.arg end
+#     Characters 41-58:
+  module type S = sig type 'a t end with type 'a t := unit;; (* Fails *)
+                                         ^^^^^^^^^^^^^^^^^
+Error: Only type constructors with identical parameters can be substituted.
 #