From 1fcdcae013eb9d24f2af69998c78b40cf28ed49a Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Mon, 21 Dec 2015 20:34:40 +0100
Subject: [PATCH] testsuite/ClassOperator: Mark as compile_fail instead of
 should_fail

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

diff --git a/testsuite/tests/typecheck/should_fail/ClassOperator.stderr b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr
new file mode 100644
index 0000000000..29ac2d240d
--- /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 fc89ad94de..27aa70b3cf 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, [''])
-- 
GitLab