diff options
author | Leo White <leo@lpw25.net> | 2018-10-12 10:20:21 +0100 |
---|---|---|
committer | Leo White <leo@lpw25.net> | 2019-08-15 15:56:50 +0100 |
commit | c19e8b23506e38fc47c110138d50b57fe93f7d7e (patch) | |
tree | 06c1498905169b89bd84074c90f8ccdd81c600a4 /testsuite/tests/generalized-open/gpr1506.ml | |
parent | 27f621da75d1b6243fa5bd54c00b8d83b29ceb12 (diff) | |
download | ocaml-c19e8b23506e38fc47c110138d50b57fe93f7d7e.tar.gz |
Refactor environment lookup functions
Diffstat (limited to 'testsuite/tests/generalized-open/gpr1506.ml')
-rw-r--r-- | testsuite/tests/generalized-open/gpr1506.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/generalized-open/gpr1506.ml b/testsuite/tests/generalized-open/gpr1506.ml index a6747abd02..8d2800ea45 100644 --- a/testsuite/tests/generalized-open/gpr1506.ml +++ b/testsuite/tests/generalized-open/gpr1506.ml @@ -100,9 +100,9 @@ include struct open struct type t = T end let x = T end Line 1, characters 15-41: 1 | include struct open struct type t = T end let x = T end ^^^^^^^^^^^^^^^^^^^^^^^^^^ -Error: The type t/143 introduced by this open appears in the signature +Error: The type t/150 introduced by this open appears in the signature Line 1, characters 46-47: - The value x has no valid type if t/143 is hidden + The value x has no valid type if t/150 is hidden |}];; module A = struct @@ -120,9 +120,9 @@ Lines 3-6, characters 4-7: 4 | type t = T 5 | let x = T 6 | end -Error: The type t/149 introduced by this open appears in the signature +Error: The type t/156 introduced by this open appears in the signature Line 7, characters 8-9: - The value y has no valid type if t/149 is hidden + The value y has no valid type if t/156 is hidden |}];; module A = struct @@ -139,9 +139,9 @@ Lines 3-5, characters 4-7: 3 | ....open struct 4 | type t = T 5 | end -Error: The type t/155 introduced by this open appears in the signature +Error: The type t/162 introduced by this open appears in the signature Line 6, characters 8-9: - The value y has no valid type if t/155 is hidden + The value y has no valid type if t/162 is hidden |}] (* It was decided to not allow this anymore. *) |