diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-12-02 02:46:22 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-12-02 02:46:22 +0000 |
| commit | 505dcfb2feb164a80bda37d040e0791272412d04 (patch) | |
| tree | b965b5e7a81d47f6f0b3750a89b511ea69122493 /testsuite/tests/typing-objects/Tests.ml.principal.reference | |
| parent | 89bdc103505183125f7bf759c27302a34757af9b (diff) | |
| download | ocaml-505dcfb2feb164a80bda37d040e0791272412d04.tar.gz | |
fix PR#5343 (was still unsound)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testsuite/tests/typing-objects/Tests.ml.principal.reference')
| -rw-r--r-- | testsuite/tests/typing-objects/Tests.ml.principal.reference | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typing-objects/Tests.ml.principal.reference b/testsuite/tests/typing-objects/Tests.ml.principal.reference index a083a06b83..f938ff0b67 100644 --- a/testsuite/tests/typing-objects/Tests.ml.principal.reference +++ b/testsuite/tests/typing-objects/Tests.ml.principal.reference @@ -293,12 +293,12 @@ Warning 10: this expression should have type unit. unit -> object method private m : int method n : int method o : int end # - : int * int = (1, 1) # class c : unit -> object method m : int end -# - : int = 15 -# - : int = 16 +# - : int = 16 # - : int = 17 -# - : int * int * int = (18, 19, 20) -# - : int * int * int * int * int = (21, 22, 23, 33, 33) -# - : int * int * int * int * int = (24, 25, 26, 33, 33) +# - : int = 18 +# - : int * int * int = (19, 20, 21) +# - : int * int * int * int * int = (22, 23, 24, 33, 33) +# - : int * int * int * int * int = (25, 26, 27, 33, 33) # Characters 42-69: class a = let _ = new b in object end ^^^^^^^^^^^^^^^^^^^^^^^^^^^ |