diff options
Diffstat (limited to 'testsuite/tests/match-exception')
8 files changed, 8 insertions, 16 deletions
diff --git a/testsuite/tests/match-exception/allocation.ml b/testsuite/tests/match-exception/allocation.ml index a99dc83e95..d7acd758d2 100644 --- a/testsuite/tests/match-exception/allocation.ml +++ b/testsuite/tests/match-exception/allocation.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (** Test that matching multiple values doesn't allocate a block. *) diff --git a/testsuite/tests/match-exception/exception_propagation.ml b/testsuite/tests/match-exception/exception_propagation.ml index 759ec386c9..57275f6180 100644 --- a/testsuite/tests/match-exception/exception_propagation.ml +++ b/testsuite/tests/match-exception/exception_propagation.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (** Test that match allows exceptions to propagate. diff --git a/testsuite/tests/match-exception/identifier_sharing.ml b/testsuite/tests/match-exception/identifier_sharing.ml index e0bb3890ee..9df7c5e0ed 100644 --- a/testsuite/tests/match-exception/identifier_sharing.ml +++ b/testsuite/tests/match-exception/identifier_sharing.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) exception String of string diff --git a/testsuite/tests/match-exception/match_failure.ml b/testsuite/tests/match-exception/match_failure.ml index a6c3d8122e..60e26f6b9d 100644 --- a/testsuite/tests/match-exception/match_failure.ml +++ b/testsuite/tests/match-exception/match_failure.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (** Test that value match failure in a match block raises Match_failure. diff --git a/testsuite/tests/match-exception/nested_handlers.ml b/testsuite/tests/match-exception/nested_handlers.ml index 6f019d4b4b..c23fb983ca 100644 --- a/testsuite/tests/match-exception/nested_handlers.ml +++ b/testsuite/tests/match-exception/nested_handlers.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (* Test that multiple handlers coexist happily. diff --git a/testsuite/tests/match-exception/raise_from_success_continuation.ml b/testsuite/tests/match-exception/raise_from_success_continuation.ml index 69a82371cd..af71feb9fa 100644 --- a/testsuite/tests/match-exception/raise_from_success_continuation.ml +++ b/testsuite/tests/match-exception/raise_from_success_continuation.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (** Test raising exceptions from a value-matching branch. diff --git a/testsuite/tests/match-exception/streams.ml b/testsuite/tests/match-exception/streams.ml index b438227124..a9a4c9e81a 100644 --- a/testsuite/tests/match-exception/streams.ml +++ b/testsuite/tests/match-exception/streams.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (** Test the stream example . diff --git a/testsuite/tests/match-exception/tail_calls.ml b/testsuite/tests/match-exception/tail_calls.ml index ae72fc9317..cdad8d927d 100644 --- a/testsuite/tests/match-exception/tail_calls.ml +++ b/testsuite/tests/match-exception/tail_calls.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (** The success continuation expression is in tail position. |