diff options
Diffstat (limited to 'testsuite/tests/typing-objects/pr5545.ml')
-rw-r--r-- | testsuite/tests/typing-objects/pr5545.ml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/testsuite/tests/typing-objects/pr5545.ml b/testsuite/tests/typing-objects/pr5545.ml index e1c7e6dee3..8bb92adfda 100644 --- a/testsuite/tests/typing-objects/pr5545.ml +++ b/testsuite/tests/typing-objects/pr5545.ml @@ -1,14 +1,20 @@ (* TEST - * toplevel + * expect *) type foo = int;; +[%%expect{| +type foo = int +|}] class o = object(this) method x : foo = 10 method y : int = this # x end;; +[%%expect{| +class o : object method x : foo method y : int end +|}] class o = @@ -16,6 +22,9 @@ class o = method x : foo = 10 method y = (this # x : int) end;; +[%%expect{| +class o : object method x : foo method y : int end +|}] @@ -24,3 +33,6 @@ class o = method x : int = (10 : int) method y = (this # x : foo) end;; +[%%expect{| +class o : object method x : int method y : foo end +|}] |