Commit 42f06f68 authored by thomie's avatar thomie

Testsuite: accept output without Windows line endings (#11631)

parent 978c3ea1
T10516.hs:8:6: error:
The type synonym ‘App’ should have 2 arguments, but has been given 1
In the type signature: f :: f a -> X (App f) a
T10516.hs:8:6: error:
• The type synonym ‘App’ should have 2 arguments, but has been given 1
• In the type signature:
f :: f a -> X (App f) a
T6054.hs:7:14:
No instance for (Bar '() a0)
arising from an expression type signature
In the first argument of ‘print’, namely
‘(Proxy :: Bar () a => Proxy a)’
In the expression: print (Proxy :: Bar () a => Proxy a)
In an equation for ‘foo’:
foo = print (Proxy :: Bar () a => Proxy a)
T6054.hs:7:14: error:
• No instance for (Bar '() a0)
arising from an expression type signature
• In the first argument of ‘print’, namely
‘(Proxy :: Bar () a => Proxy a)’
In the expression: print (Proxy :: Bar () a => Proxy a)
In an equation for ‘foo’:
foo = print (Proxy :: Bar () a => Proxy a)
Misplaced.hs:4:1:
Misplaced SPECIALISE instance pragma:
{-# SPECIALIZE instance Eq (T Int) #-}
Misplaced.hs:4:1: error:
Misplaced SPECIALISE instance pragma:
{-# SPECIALIZE instance Eq (T Int) #-}
T2310.hs:5:41: error:
Variable not in scope: co
Perhaps you meant one of these:
‘c’ (line 5), ‘cos’ (imported from Prelude)
T2310.hs:5:41: error:
• Variable not in scope: co
• Perhaps you meant one of these:
‘c’ (line 5), ‘cos’ (imported from Prelude)
T3792.hs:3:17: Illegal qualified name in import item: Prelude.map
T3792.hs:3:17: error:
Illegal qualified name in import item: Prelude.map
rnfail022.hs:8:5: error:
Variable not in scope: intersperse
Perhaps you meant ‘L.intersperse’ (imported from Data.List)
rnfail022.hs:8:5: error:
• Variable not in scope: intersperse
• Perhaps you meant ‘L.intersperse’ (imported from Data.List)
RnFail047_A.hs-boot:5:1:
‘RnFail047_A.y’ is exported by the hs-boot file, but not exported by the module
RnFail047_A.hs-boot:5:1: error:
‘RnFail047_A.y’ is exported by the hs-boot file, but not exported by the module
Simpl020_A.hs:26:10: Warning:
No explicit implementation for
‘toGUIObject’ and ‘cset’
In the instance declaration for ‘GUIObject ()’
Simpl020_A.hs:26:10: warning:
• No explicit implementation for
‘toGUIObject’ and ‘cset’
• In the instance declaration for ‘GUIObject ()’
T3600.hs:5:3-6: Splicing declarations
test
======>
myFunction = (testFun1 [], testFun2 [], testFun2 "x")
T3600.hs:5:3-6: Splicing declarations
test ======> myFunction = (testFun1 [], testFun2 [], testFun2 "x")
T10632.hs:3:1: warning:
Redundant constraint: ?file1::String
In the type signature for:
f :: (?file1::String) => IO ()
T10632.hs:3:1: warning:
• Redundant constraint: ?file1::String
• In the type signature for:
f :: (?file1::String) => IO ()
T3696.hs:9:1:
Warning: Top-level binding with no type signature: def :: Int
T3696.hs:9:1: warning:
Top-level binding with no type signature: def :: Int
T7050.hs:3:14: warning:
Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
In the definition of data constructor ‘Foo’
In the data type declaration for ‘Foo’
T7050.hs:3:14: warning:
• Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
• In the definition of data constructor ‘Foo’
In the data type declaration for ‘Foo’
T7220a.hs:17:6: error:
Could not deduce (C a b)
from the context: (C a0 b, TF b ~ Y)
bound by the type signature for:
f :: (C a0 b, TF b ~ Y) => b
at T7220a.hs:17:6-44
Possible fix:
add (C a b) to the context of
the type signature for:
f :: (C a0 b, TF b ~ Y) => b
In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: f :: (forall b. (C a b, TF b ~ Y) => b) -> X
T7220a.hs:17:6: error:
• Could not deduce (C a b)
from the context: (C a0 b, TF b ~ Y)
bound by the type signature for:
f :: (C a0 b, TF b ~ Y) => b
at T7220a.hs:17:6-44
Possible fix:
add (C a b) to the context of
the type signature for:
f :: (C a0 b, TF b ~ Y) => b
• In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
f :: (forall b. (C a b, TF b ~ Y) => b) -> X
T7562.hs:3:14: warning:
UNPACK pragma lacks '!' on the first argument of ‘Pair2’
In the definition of data constructor ‘Pair2’
In the data type declaration for ‘Pair2’
T7562.hs:3:14: warning:
• UNPACK pragma lacks '!' on the first argument of ‘Pair2’
• In the definition of data constructor ‘Pair2’
In the data type declaration for ‘Pair2’
T9497a.hs:2:8: warning:
Found hole: _main :: IO ()
Or perhaps ‘_main’ is mis-spelled, or not in scope
In the expression: _main
In an equation for ‘main’: main = _main
Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
T9497a.hs:2:8: warning:
• Found hole: _main :: IO ()
Or perhaps ‘_main’ is mis-spelled, or not in scope
• In the expression: _main
In an equation for ‘main’: main = _main
• Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
AssocTyDef05.hs:6:5:
Number of parameters must match family declaration; expected 1
In the default type instance declaration for ‘Typ’
In the class declaration for ‘Cls’
AssocTyDef05.hs:6:5: error:
• Number of parameters must match family declaration; expected 1
• In the default type instance declaration for ‘Typ’
In the class declaration for ‘Cls’
ContextStack2.hs:8:6: error:
Reduction stack overflow; size = 11
When simplifying the following type:
TF (TF (TF (TF (TF a))))
~ (TF (TF (TF (TF (TF (TF a))))), TF (TF (TF (TF (TF (TF Int))))))
Use -freduction-depth=0 to disable this check
(any upper bound you could choose might fail unpredictably with
minor updates to GHC, so disabling the check is recommended if
you're sure that type checking should terminate)
In the ambiguity check for ‘t’
In the type signature: t :: (a ~ TF (a, Int)) => Int
ContextStack2.hs:8:6: error:
• Reduction stack overflow; size = 11
When simplifying the following type:
TF (TF (TF (TF (TF a))))
~ (TF (TF (TF (TF (TF (TF a))))), TF (TF (TF (TF (TF (TF Int))))))
Use -freduction-depth=0 to disable this check
(any upper bound you could choose might fail unpredictably with
minor updates to GHC, so disabling the check is recommended if
you're sure that type checking should terminate)
• In the ambiguity check for ‘t’
In the type signature:
t :: (a ~ TF (a, Int)) => Int
FDsFromGivens.hs:9:7: error:
Couldn't match type ‘[a]’ with ‘Bool’
arising from a functional dependency between constraints:
‘C Char Bool’
arising from the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
at FDsFromGivens.hs:9:7-42
‘C Char [a]’
arising from the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
at FDsFromGivens.hs:9:7-42
Inaccessible code in
the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
In the ambiguity check for ‘g1’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: g1 :: (C Char [a], C Char Bool) => a -> ()
FDsFromGivens.hs:9:7: error:
• Couldn't match type ‘[a]’ with ‘Bool’
arising from a functional dependency between constraints:
‘C Char Bool’
arising from the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
at FDsFromGivens.hs:9:7-42
‘C Char [a]’
arising from the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
at FDsFromGivens.hs:9:7-42
Inaccessible code in
the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
• In the ambiguity check for ‘g1’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
g1 :: (C Char [a], C Char Bool) => a -> ()
FailDueToGivenOverlapping.hs:27:9: error:
Overlapping instances for E [t0] arising from a use of ‘eop’
Matching givens (or their superclasses):
E [Int]
bound by the type signature for:
bar :: E [Int] => () -> ()
at FailDueToGivenOverlapping.hs:26:1-26
Matching instances:
instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
(The choice depends on the instantiation of ‘t0’)
In the expression: eop [undefined]
In an equation for ‘bar’: bar _ = eop [undefined]
FailDueToGivenOverlapping.hs:27:9: error:
• Overlapping instances for E [t0] arising from a use of ‘eop’
Matching givens (or their superclasses):
E [Int]
bound by the type signature for:
bar :: E [Int] => () -> ()
at FailDueToGivenOverlapping.hs:26:1-26
Matching instances:
instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
(The choice depends on the instantiation of ‘t0’)
• In the expression: eop [undefined]
In an equation for ‘bar’: bar _ = eop [undefined]
IPFail.hs:6:18: error:
Could not deduce (Num Bool) arising from the literal ‘5’
from the context: ?x::Int
bound by the type signature for:
f0 :: (?x::Int) => () -> Bool
at IPFail.hs:5:1-31
In the expression: 5
In the expression: let ?x = 5 in ?x
In an equation for ‘f0’: f0 () = let ?x = 5 in ?x
IPFail.hs:6:18: error:
• Could not deduce (Num Bool) arising from the literal ‘5’
from the context: ?x::Int
bound by the type signature for:
f0 :: (?x::Int) => () -> Bool
at IPFail.hs:5:1-31
• In the expression: 5
In the expression: let ?x = 5 in ?x
In an equation for ‘f0’: f0 () = let ?x = 5 in ?x
T10351.hs:6:1: error:
Non type-variable argument in the constraint: C [t]
(Use FlexibleContexts to permit this)
When checking the inferred type
f :: forall t. C [t] => t -> ()
T10351.hs:6:1: error:
• Non type-variable argument in the constraint: C [t]
(Use FlexibleContexts to permit this)
• When checking the inferred type
f :: forall t. C [t] => t -> ()
T1897a.hs:9:1: error:
Could not deduce (Wob a0 b)
from the context: Wob a b
bound by the inferred type for ‘foo’:
Wob a b => b -> [b]
at T1897a.hs:9:1-24
The type variable ‘a0’ is ambiguous
In the ambiguity check for the inferred type for ‘foo’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
foo :: forall a b. Wob a b => b -> [b]
T1897a.hs:9:1: error:
• Could not deduce (Wob a0 b)
from the context: Wob a b
bound by the inferred type for ‘foo’:
Wob a b => b -> [b]
at T1897a.hs:9:1-24
The type variable ‘a0’ is ambiguous
• In the ambiguity check for the inferred type for ‘foo’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
foo :: forall a b. Wob a b => b -> [b]
T3592.hs:8:5:
No instance for (Show a) arising from a use of ‘show’
Possible fix:
add (Show a) to the context of
the type signature for: f :: T a -> String
In the expression: show
In an equation for ‘f’: f = show
T3592.hs:11:7:
No instance for (Show a) arising from a use of ‘show’
Possible fix:
add (Show a) to the context of
the type signature for: g :: T a -> String
In the expression: show x
In an equation for ‘g’: g x = show x
T3592.hs:8:5: error:
• No instance for (Show a) arising from a use of ‘show’
Possible fix:
add (Show a) to the context of
the type signature for:
f :: T a -> String
• In the expression: show
In an equation for ‘f’: f = show
T3592.hs:11:7: error:
• No instance for (Show a) arising from a use of ‘show’
Possible fix:
add (Show a) to the context of
the type signature for:
g :: T a -> String
• In the expression: show x
In an equation for ‘g’: g x = show x
T3966.hs:5:16: warning:
Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
In the definition of data constructor ‘Foo’
In the data type declaration for ‘Foo’
<no location info>: error:
Failing due to -Werror.
T3966.hs:5:16: warning:
• Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
• In the definition of data constructor ‘Foo’
In the data type declaration for ‘Foo’
<no location info>: error:
Failing due to -Werror.
T5051.hs:8:30: Warning:
No explicit implementation for
either ‘==’ or ‘/=’
In the instance declaration for ‘Eq [T]’
T5051.hs:8:30: warning:
• No explicit implementation for
either ‘==’ or ‘/=’
• In the instance declaration for ‘Eq [T]’
T5236.hs:13:9: error:
Couldn't match type ‘B’ with ‘A’
arising from a functional dependency between:
constraint ‘Id A B’
arising from the type signature for:
loop :: Id A B => Bool
instance ‘Id B B’ at T5236.hs:11:10-15
Inaccessible code in
the type signature for:
loop :: Id A B => Bool
In the ambiguity check for ‘loop’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: loop :: Id A B => Bool
T5236.hs:13:9: error:
• Couldn't match type ‘B’ with ‘A’
arising from a functional dependency between:
constraint ‘Id A B’
arising from the type signature for:
loop :: Id A B => Bool
instance ‘Id B B’ at T5236.hs:11:10-15
Inaccessible code in
the type signature for:
loop :: Id A B => Bool
• In the ambiguity check for ‘loop’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
loop :: Id A B => Bool
T6022.hs:3:1: error:
Non type-variable argument in the constraint: Eq ([a] -> a)
(Use FlexibleContexts to permit this)
When checking the inferred type
f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool
T6022.hs:3:1: error:
• Non type-variable argument in the constraint: Eq ([a] -> a)
(Use FlexibleContexts to permit this)
• When checking the inferred type
f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool
T7279.hs:6:10: error:
Could not deduce (Show b0)
from the context: (Eq a, Show b)
bound by an instance declaration: (Eq a, Show b) => Eq (T a)
at T7279.hs:6:10-35
The type variable ‘b0’ is ambiguous
In the ambiguity check for an instance declaration
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the instance declaration for ‘Eq (T a)’
T7279.hs:6:10: error:
• Could not deduce (Show b0)
from the context: (Eq a, Show b)
bound by an instance declaration:
(Eq a, Show b) => Eq (T a)
at T7279.hs:6:10-35
The type variable ‘b0’ is ambiguous
• In the ambiguity check for an instance declaration
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the instance declaration for ‘Eq (T a)’
T7697.hs:3:6: error:
Expected a constraint, but ‘Int’ has kind ‘*’
In the type signature: f :: Int => Int
T7697.hs:3:6: error:
• Expected a constraint, but ‘Int’ has kind ‘*’
• In the type signature:
f :: Int => Int
T8034.hs:6:3: error:
Couldn't match type ‘F a0’ with ‘F a’
NB: ‘F’ is a type function, and may not be injective
The type variable ‘a0’ is ambiguous
Expected type: F a -> F a
Actual type: F a0 -> F a0
In the ambiguity check for ‘foo’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method: foo :: forall a. C a => F a -> F a
In the class declaration for ‘C’
T8034.hs:6:3: error:
• Couldn't match type ‘F a0’ with ‘F a’
NB: ‘F’ is a type function, and may not be injective
The type variable ‘a0’ is ambiguous
Expected type: F a -> F a
Actual type: F a0 -> F a0
• In the ambiguity check for ‘foo’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method: foo :: forall a. C a => F a -> F a
In the class declaration for ‘C’
T8392a.hs:6:8: error:
Couldn't match type ‘Int’ with ‘Bool’
Inaccessible code in
the type signature for:
foo :: (Int ~ Bool) => a -> a
In the ambiguity check for ‘foo’
In the type signature: foo :: (Int ~ Bool) => a -> a
T8392a.hs:6:8: error:
• Couldn't match type ‘Int’ with ‘Bool’
Inaccessible code in
the type signature for:
foo :: (Int ~ Bool) => a -> a
• In the ambiguity check for ‘foo’
In the type signature:
foo :: (Int ~ Bool) => a -> a
T9497d.hs:2:8: error:
Found hole: _main :: IO ()
Or perhaps ‘_main’ is mis-spelled, or not in scope
In the expression: _main
In an equation for ‘main’: main = _main
Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
T9497d.hs:2:8: error:
• Found hole: _main :: IO ()
Or perhaps ‘_main’ is mis-spelled, or not in scope
• In the expression: _main
In an equation for ‘main’: main = _main
• Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
fd-loop.hs:12:10: error:
Variable ‘b’ occurs more often
in the constraint ‘C a b’ than in the instance head
(Use UndecidableInstances to permit this)
In the instance declaration for ‘Eq (T a)’
fd-loop.hs:12:10: error:
Variable ‘b’ occurs more often
in the constraint ‘Eq b’ than in the instance head
(Use UndecidableInstances to permit this)
In the instance declaration for ‘Eq (T a)’
fd-loop.hs:12:10: error:
• Variable ‘b’ occurs more often
in the constraint ‘C a b’ than in the instance head
(Use UndecidableInstances to permit this)
• In the instance declaration for ‘Eq (T a)’
fd-loop.hs:12:10: error:
• Variable ‘b’ occurs more often
in the constraint ‘Eq b’ than in the instance head
(Use UndecidableInstances to permit this)
• In the instance declaration for ‘Eq (T a)’
tcfail019.hs:18:10:
No instance for (B [a])
arising from the superclasses of an instance declaration
In the instance declaration for ‘D [a]’
tcfail019.hs:18:10:
No instance for (C [a])
arising from the superclasses of an instance declaration
In the instance declaration for ‘D [a]’
tcfail019.hs:18:10: error:
• No instance for (B [a])
arising from the superclasses of an instance declaration
• In the instance declaration for ‘D [a]’
tcfail019.hs:18:10: error:
• No instance for (C [a])
arising from the superclasses of an instance declaration
• In the instance declaration for ‘D [a]’
tcfail058.hs:6:7: error:
Expecting one more argument to ‘Array a’
Expected a constraint, but ‘Array a’ has kind ‘* -> *’
In the type signature: f :: (Array a) => a -> b
tcfail058.hs:6:7: error:
• Expecting one more argument to ‘Array a’
Expected a constraint, but ‘Array a’ has kind ‘* -> *’
• In the type signature:
f :: (Array a) => a -> b
tcfail063.hs:6:9: error:
Expecting one more argument to ‘Num’
Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’
In the type signature: moby :: Num => Int -> a -> Int
tcfail063.hs:6:9: error:
• Expecting one more argument to ‘Num’
Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’
• In the type signature:
moby :: Num => Int -> a -> Int
tcfail067.hs:1:14: warning:
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.