testsuite/ClassOperator: Mark as compile_fail instead of should_fail
authorBen Gamari <ben@smart-cactus.org>
Mon, 21 Dec 2015 19:34:40 +0000 (20:34 +0100)
committerBen Gamari <ben@smart-cactus.org>
Mon, 21 Dec 2015 21:43:48 +0000 (22:43 +0100)
testsuite/tests/typecheck/should_fail/ClassOperator.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T

diff --git a/testsuite/tests/typecheck/should_fail/ClassOperator.stderr b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr
new file mode 100644 (file)
index 0000000..29ac2d2
--- /dev/null
@@ -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 ‘><>’
index fc89ad9..27aa70b 100644 (file)
@@ -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, [''])