diff options
| -rw-r--r-- | testsuite/tests/typing-poly/poly.ml.principal.reference | 19 | ||||
| -rw-r--r-- | testsuite/tests/typing-poly/poly.ml.reference | 19 |
2 files changed, 4 insertions, 34 deletions
diff --git a/testsuite/tests/typing-poly/poly.ml.principal.reference b/testsuite/tests/typing-poly/poly.ml.principal.reference index 9187c7122..8b1b45a66 100644 --- a/testsuite/tests/typing-poly/poly.ml.principal.reference +++ b/testsuite/tests/typing-poly/poly.ml.principal.reference @@ -218,23 +218,8 @@ val f4 : id -> int * bool = <fun> end # val id : 'a -> 'a = <fun> # class c : object method id : 'a -> 'a end -# [A[A[A[A[A# class c' = object - inherit c - [4mmethod id = id[m - end - ;; -[mWarning 7: the method id is overridden. -class c' : object method id : 'a -> 'a end -# [A[A[A[A[A[A[A[A# class d = object - inherit c as c - val mutable count = 0 - [4mmethod id x = count <- count+1; x[m - method count = count - method old : 'a. 'a -> 'a = c#id - end - ;; -[mWarning 7: the method id is overridden. -class d : +# class c' : object method id : 'a -> 'a end +# class d : object val mutable count : int method count : int diff --git a/testsuite/tests/typing-poly/poly.ml.reference b/testsuite/tests/typing-poly/poly.ml.reference index 48b47f3c8..e599b19c1 100644 --- a/testsuite/tests/typing-poly/poly.ml.reference +++ b/testsuite/tests/typing-poly/poly.ml.reference @@ -204,23 +204,8 @@ and b : object method id : 'a -> 'a end end # val id : 'a -> 'a = <fun> # class c : object method id : 'a -> 'a end -# [A[A[A[A[A# class c' = object - inherit c - [4mmethod id = id[m - end - ;; -[mWarning 7: the method id is overridden. -class c' : object method id : 'a -> 'a end -# [A[A[A[A[A[A[A[A# class d = object - inherit c as c - val mutable count = 0 - [4mmethod id x = count <- count+1; x[m - method count = count - method old : 'a. 'a -> 'a = c#id - end - ;; -[mWarning 7: the method id is overridden. -class d : +# class c' : object method id : 'a -> 'a end +# class d : object val mutable count : int method count : int |