[commit: ghc] master: testsuite/ClassOperator: Mark as compile_fail instead of should_fail (1fcdcae)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/1fcdcae013eb9d24f2af69998c78b40cf28ed49a/ghc

>---------------------------------------------------------------

commit 1fcdcae013eb9d24f2af69998c78b40cf28ed49a
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Mon Dec 21 20:34:40 2015 +0100

    testsuite/ClassOperator: Mark as compile_fail instead of should_fail


>---------------------------------------------------------------

1fcdcae013eb9d24f2af69998c78b40cf28ed49a
 .../typecheck/should_fail/ClassOperator.stderr     | 52 ++++++++++++++++++++++
 testsuite/tests/typecheck/should_fail/all.T        |  2 +-
 2 files changed, 53 insertions(+), 1 deletion(-)

diff --git a/testsuite/tests/typecheck/should_fail/ClassOperator.stderr b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr
new file mode 100644
index 0000000..29ac2d2
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr
@@ -0,0 +1,52 @@
+
+ClassOperator.hs:12:3: error:
+    • Could not deduce (a ><> b0)
+      from the context: a ><> b
+        bound by the type signature for:
+                   (**>) :: (a ><> b) => a -> a -> ()
+        at ClassOperator.hs:12:3-44
+      The type variable ‘b0’ is ambiguous
+    • In the ambiguity check for ‘**>’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the class method:
+        (**>) :: forall a b. (a ><> b) => a -> a -> ()
+      In the class declaration for ‘><>’
+
+ClassOperator.hs:12:3: error:
+    • Could not deduce (a ><> b0)
+      from the context: a ><> b
+        bound by the type signature for:
+                   (**<) :: (a ><> b) => a -> a -> ()
+        at ClassOperator.hs:12:3-44
+      The type variable ‘b0’ is ambiguous
+    • In the ambiguity check for ‘**<’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the class method:
+        (**<) :: forall a b. (a ><> b) => a -> a -> ()
+      In the class declaration for ‘><>’
+
+ClassOperator.hs:12:3: error:
+    • Could not deduce (a ><> b0)
+      from the context: a ><> b
+        bound by the type signature for:
+                   (>**) :: (a ><> b) => a -> a -> ()
+        at ClassOperator.hs:12:3-44
+      The type variable ‘b0’ is ambiguous
+    • In the ambiguity check for ‘>**’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the class method:
+        (>**) :: forall a b. (a ><> b) => a -> a -> ()
+      In the class declaration for ‘><>’
+
+ClassOperator.hs:12:3: error:
+    • Could not deduce (a ><> b0)
+      from the context: a ><> b
+        bound by the type signature for:
+                   (<**) :: (a ><> b) => a -> a -> ()
+        at ClassOperator.hs:12:3-44
+      The type variable ‘b0’ is ambiguous
+    • In the ambiguity check for ‘<**’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the class method:
+        (<**) :: forall a b. (a ><> b) => a -> a -> ()
+      In the class declaration for ‘><>’
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T
index fc89ad9..27aa70b 100644
--- a/testsuite/tests/typecheck/should_fail/all.T
+++ b/testsuite/tests/typecheck/should_fail/all.T
@@ -394,4 +394,4 @@ test('CustomTypeErrors01', normal, compile_fail, [''])
 test('CustomTypeErrors02', normal, compile_fail, [''])
 test('CustomTypeErrors03', normal, compile_fail, [''])
 test('T11112', normal, compile_fail, [''])
-test('ClassOperator', expect_broken(11264), compile, [''])
+test('ClassOperator', normal, compile_fail, [''])