diff options
Diffstat (limited to 'testsuite/tests/typing-objects')
20 files changed, 21 insertions, 21 deletions
diff --git a/testsuite/tests/typing-objects/Exemples.ml b/testsuite/tests/typing-objects/Exemples.ml index 3ab4072c14..513b28d13d 100644 --- a/testsuite/tests/typing-objects/Exemples.ml +++ b/testsuite/tests/typing-objects/Exemples.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class point x_init = object diff --git a/testsuite/tests/typing-objects/Tests.ml b/testsuite/tests/typing-objects/Tests.ml index e196362bcc..c671375805 100644 --- a/testsuite/tests/typing-objects/Tests.ml +++ b/testsuite/tests/typing-objects/Tests.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* Subtyping is "syntactic" *) diff --git a/testsuite/tests/typing-objects/abstract_rows.ml b/testsuite/tests/typing-objects/abstract_rows.ml index 0ae3d307a2..3b92692530 100644 --- a/testsuite/tests/typing-objects/abstract_rows.ml +++ b/testsuite/tests/typing-objects/abstract_rows.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type u = <x:int> type t = private <u; ..> diff --git a/testsuite/tests/typing-objects/class_2.ml b/testsuite/tests/typing-objects/class_2.ml index 2d70884cdd..0944768382 100644 --- a/testsuite/tests/typing-objects/class_2.ml +++ b/testsuite/tests/typing-objects/class_2.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* class expressions may also contain local recursive bindings *) diff --git a/testsuite/tests/typing-objects/dummy.ml b/testsuite/tests/typing-objects/dummy.ml index de8b18822a..d85c5d102a 100644 --- a/testsuite/tests/typing-objects/dummy.ml +++ b/testsuite/tests/typing-objects/dummy.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class virtual child1 parent = diff --git a/testsuite/tests/typing-objects/errors.ml b/testsuite/tests/typing-objects/errors.ml index 236f7e1d5b..eb839fee15 100644 --- a/testsuite/tests/typing-objects/errors.ml +++ b/testsuite/tests/typing-objects/errors.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class type virtual ['a] c = object constraint 'a = [<`A of int & float] end diff --git a/testsuite/tests/typing-objects/field_kind.ml b/testsuite/tests/typing-objects/field_kind.ml index 287e3c6770..53dea44bac 100644 --- a/testsuite/tests/typing-objects/field_kind.ml +++ b/testsuite/tests/typing-objects/field_kind.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ t = Int : int t;; diff --git a/testsuite/tests/typing-objects/nongen.ml b/testsuite/tests/typing-objects/nongen.ml index acbd296581..f4937be122 100644 --- a/testsuite/tests/typing-objects/nongen.ml +++ b/testsuite/tests/typing-objects/nongen.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) let x = ref None diff --git a/testsuite/tests/typing-objects/open_in_classes.ml b/testsuite/tests/typing-objects/open_in_classes.ml index 05f33b9192..f374c08393 100644 --- a/testsuite/tests/typing-objects/open_in_classes.ml +++ b/testsuite/tests/typing-objects/open_in_classes.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module M = struct diff --git a/testsuite/tests/typing-objects/pr11569.ml b/testsuite/tests/typing-objects/pr11569.ml index 321f0a9b25..70d303852b 100644 --- a/testsuite/tests/typing-objects/pr11569.ml +++ b/testsuite/tests/typing-objects/pr11569.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class ['a] c = object constraint 'a = int method m (x: bool #c) = () end;; diff --git a/testsuite/tests/typing-objects/pr5545.ml b/testsuite/tests/typing-objects/pr5545.ml index 8bb92adfda..c0ec1b71ee 100644 --- a/testsuite/tests/typing-objects/pr5545.ml +++ b/testsuite/tests/typing-objects/pr5545.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type foo = int;; diff --git a/testsuite/tests/typing-objects/pr5619_bad.ml b/testsuite/tests/typing-objects/pr5619_bad.ml index bfbf6dd861..766f5adc87 100644 --- a/testsuite/tests/typing-objects/pr5619_bad.ml +++ b/testsuite/tests/typing-objects/pr5619_bad.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class type foo_t = diff --git a/testsuite/tests/typing-objects/pr5858.ml b/testsuite/tests/typing-objects/pr5858.ml index a7f0bf84b3..6fa0162a86 100644 --- a/testsuite/tests/typing-objects/pr5858.ml +++ b/testsuite/tests/typing-objects/pr5858.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class type c = object end;; diff --git a/testsuite/tests/typing-objects/pr6123_bad.ml b/testsuite/tests/typing-objects/pr6123_bad.ml index 6dff6598ff..066ae48472 100644 --- a/testsuite/tests/typing-objects/pr6123_bad.ml +++ b/testsuite/tests/typing-objects/pr6123_bad.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class virtual name = diff --git a/testsuite/tests/typing-objects/pr6383.ml b/testsuite/tests/typing-objects/pr6383.ml index 12bc876ed8..3f9e701d30 100644 --- a/testsuite/tests/typing-objects/pr6383.ml +++ b/testsuite/tests/typing-objects/pr6383.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) let f (x: #M.foo) = 0;; diff --git a/testsuite/tests/typing-objects/pr6907_bad.ml b/testsuite/tests/typing-objects/pr6907_bad.ml index cafe04f440..7b5da5ba68 100644 --- a/testsuite/tests/typing-objects/pr6907_bad.ml +++ b/testsuite/tests/typing-objects/pr6907_bad.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class type ['e] t = object('s) diff --git a/testsuite/tests/typing-objects/pr7711_ok.ml b/testsuite/tests/typing-objects/pr7711_ok.ml index 7f188cf59b..3f910e7f16 100644 --- a/testsuite/tests/typing-objects/pr7711_ok.ml +++ b/testsuite/tests/typing-objects/pr7711_ok.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type 'a r = <w: int -> int; .. > as 'a;; diff --git a/testsuite/tests/typing-objects/self_cannot_be_closed.ml b/testsuite/tests/typing-objects/self_cannot_be_closed.ml index f2cbc406b1..ccd0f91832 100644 --- a/testsuite/tests/typing-objects/self_cannot_be_closed.ml +++ b/testsuite/tests/typing-objects/self_cannot_be_closed.ml @@ -1,6 +1,6 @@ (* TEST - * expect - *) + expect; +*) let is_empty (x : < >) = ();; [%%expect {| val is_empty : < > -> unit = <fun> diff --git a/testsuite/tests/typing-objects/self_cannot_escape_pr7865.ml b/testsuite/tests/typing-objects/self_cannot_escape_pr7865.ml index d350fbb52c..c192a16cfe 100644 --- a/testsuite/tests/typing-objects/self_cannot_escape_pr7865.ml +++ b/testsuite/tests/typing-objects/self_cannot_escape_pr7865.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class c = diff --git a/testsuite/tests/typing-objects/unbound-type-var.ml b/testsuite/tests/typing-objects/unbound-type-var.ml index 9e00cea202..1a533cac91 100644 --- a/testsuite/tests/typing-objects/unbound-type-var.ml +++ b/testsuite/tests/typing-objects/unbound-type-var.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class test a c = |