diff options
| author | Thomas Refis <thomas.refis@gmail.com> | 2019-09-02 11:43:26 +0100 |
|---|---|---|
| committer | Thomas Refis <thomas.refis@gmail.com> | 2019-09-11 13:44:31 -0400 |
| commit | 6f492fdbd9c352c0502c118a80d451b8867b1dae (patch) | |
| tree | 7957c84f5a7425a87a8aaa99f261f18750daec3f /testsuite/tests/shadow_include/shadow_all.ml | |
| parent | f814450b605852429613e4ae7f68bac0382e3f1d (diff) | |
| download | ocaml-pr8908.tar.gz | |
PR#8908: used as a base for other PRs.pr8908
Diffstat (limited to 'testsuite/tests/shadow_include/shadow_all.ml')
| -rw-r--r-- | testsuite/tests/shadow_include/shadow_all.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/shadow_include/shadow_all.ml b/testsuite/tests/shadow_include/shadow_all.ml index b4d9b37c8b..443541c1f2 100644 --- a/testsuite/tests/shadow_include/shadow_all.ml +++ b/testsuite/tests/shadow_include/shadow_all.ml @@ -181,7 +181,7 @@ end Line 4, characters 2-11: 4 | include S ^^^^^^^^^ -Error: Illegal shadowing of included module type T/317 by T/335 +Error: Illegal shadowing of included module type T/317 by T/334 Line 2, characters 2-11: Module type T/317 came from this include Line 3, characters 2-39: @@ -198,11 +198,11 @@ end Line 4, characters 2-11: 4 | include S ^^^^^^^^^ -Error: Illegal shadowing of included type ext/353 by ext/370 +Error: Illegal shadowing of included type ext/352 by ext/369 Line 2, characters 2-11: - Type ext/353 came from this include + Type ext/352 came from this include Line 3, characters 14-16: - The extension constructor C2 has no valid type if ext/353 is shadowed + The extension constructor C2 has no valid type if ext/352 is shadowed |}] module type Class = sig |