summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--testsuite/tests/typing-objects/Tests.ml4
-rw-r--r--testsuite/tests/typing-objects/Tests.ml.principal.reference2
-rw-r--r--testsuite/tests/typing-objects/Tests.ml.reference2
3 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typing-objects/Tests.ml b/testsuite/tests/typing-objects/Tests.ml
index 24f20acca4..c52fe909c3 100644
--- a/testsuite/tests/typing-objects/Tests.ml
+++ b/testsuite/tests/typing-objects/Tests.ml
@@ -58,7 +58,7 @@ and virtual d x = object (_ : 'a)
method g = true
end;;
-(* Contraint not respected *)
+(* Constraint not respected *)
class ['a] c () = object
constraint 'a = int
method f x = (x : bool c)
@@ -74,7 +74,7 @@ class ['a, 'b] d () = object
inherit ['a, 'b] c ()
end;;
-(* Non-generic contraint *)
+(* Non-generic constraint *)
let x = ref [];;
class ['a] c () = object
method f = (x : 'a)
diff --git a/testsuite/tests/typing-objects/Tests.ml.principal.reference b/testsuite/tests/typing-objects/Tests.ml.principal.reference
index fa491c320d..d39a70dc3c 100644
--- a/testsuite/tests/typing-objects/Tests.ml.principal.reference
+++ b/testsuite/tests/typing-objects/Tests.ml.principal.reference
@@ -29,7 +29,7 @@ Error: This class should be virtual. The following methods are undefined : f
^^^^^^^^
Error: This pattern cannot match self: it only matches values of type
< f : int >
-# Characters 31-109:
+# Characters 32-110:
class ['a] c () = object
constraint 'a = int
method f x = (x : bool c)
diff --git a/testsuite/tests/typing-objects/Tests.ml.reference b/testsuite/tests/typing-objects/Tests.ml.reference
index fa491c320d..d39a70dc3c 100644
--- a/testsuite/tests/typing-objects/Tests.ml.reference
+++ b/testsuite/tests/typing-objects/Tests.ml.reference
@@ -29,7 +29,7 @@ Error: This class should be virtual. The following methods are undefined : f
^^^^^^^^
Error: This pattern cannot match self: it only matches values of type
< f : int >
-# Characters 31-109:
+# Characters 32-110:
class ['a] c () = object
constraint 'a = int
method f x = (x : bool c)