diff options
Diffstat (limited to 'testsuite/tests/typing-modules/aliases.ml.reference')
| -rw-r--r-- | testsuite/tests/typing-modules/aliases.ml.reference | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/typing-modules/aliases.ml.reference b/testsuite/tests/typing-modules/aliases.ml.reference index d31516b987..e820b78e28 100644 --- a/testsuite/tests/typing-modules/aliases.ml.reference +++ b/testsuite/tests/typing-modules/aliases.ml.reference @@ -371,4 +371,7 @@ Error: Module type declarations do not match: module rec Bad : A = Bad;; ^ Error: Unbound module type A +# module B : sig module R : sig type t = string end module O = R end +module K : sig module E = B module N = E.O end +# val x : K.N.t = "foo" # |