summaryrefslogtreecommitdiff
path: root/testsuite/tests/generalized-open/gpr1506.ml
diff options
context:
space:
mode:
authorLeo White <leo@lpw25.net>2018-10-12 10:20:21 +0100
committerLeo White <leo@lpw25.net>2019-08-15 15:56:50 +0100
commitc19e8b23506e38fc47c110138d50b57fe93f7d7e (patch)
tree06c1498905169b89bd84074c90f8ccdd81c600a4 /testsuite/tests/generalized-open/gpr1506.ml
parent27f621da75d1b6243fa5bd54c00b8d83b29ceb12 (diff)
downloadocaml-c19e8b23506e38fc47c110138d50b57fe93f7d7e.tar.gz
Refactor environment lookup functions
Diffstat (limited to 'testsuite/tests/generalized-open/gpr1506.ml')
-rw-r--r--testsuite/tests/generalized-open/gpr1506.ml12
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. *)