diff options
-rw-r--r-- | testsuite/tests/typing-objects/Tests.ml | 4 | ||||
-rw-r--r-- | testsuite/tests/typing-objects/Tests.ml.principal.reference | 2 | ||||
-rw-r--r-- | testsuite/tests/typing-objects/Tests.ml.reference | 2 |
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) |