summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/pr5545.ml
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typing-objects/pr5545.ml')
-rw-r--r--testsuite/tests/typing-objects/pr5545.ml14
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
+|}]