Commit 1fcdcae0 authored by Ben Gamari's avatar Ben Gamari 🐢

testsuite/ClassOperator: Mark as compile_fail instead of should_fail

parent 2dff6c18
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 ‘><>’
......@@ -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, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment