diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-04-11 13:34:03 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-04-11 13:34:03 +0000 |
| commit | a768f4ec8ff2883d90a952bcda0883c2bce3de13 (patch) | |
| tree | 7e8095bcff7f9aa00cd4907cd696375fb57ac38c /testsuite | |
| parent | e0d791830c586f348843d0916946a005c2f0924b (diff) | |
| download | ocaml-a768f4ec8ff2883d90a952bcda0883c2bce3de13.tar.gz | |
minor testsuite fix after PR#6827
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typing-short-paths/short-paths.ml.reference | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typing-short-paths/short-paths.ml.reference b/testsuite/tests/typing-short-paths/short-paths.ml.reference index b45fdd0d61..db44521aa2 100644 --- a/testsuite/tests/typing-short-paths/short-paths.ml.reference +++ b/testsuite/tests/typing-short-paths/short-paths.ml.reference @@ -69,7 +69,7 @@ type u = M.u = C # module N1 : sig type u = v and v = t1 end # type t1 = B # module N2 : sig type u = v and v = N1.v end -# module type PR6566 = sig type t = bytes end +# module type PR6566 = sig type t = string end # module PR6566 : sig type t = int end # Characters 26-32: module PR6566' : PR6566 = PR6566;; @@ -79,7 +79,7 @@ Error: Signature mismatch: Type declarations do not match: type t = int is not included in - type t = bytes + type t = string # module A : sig module B : sig type t = T end end # module M2 : sig type u = A.B.t type foo = int type v = u end # |