Commit 978c3ea1 authored by thomie's avatar thomie

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

parent d5e8b394
T5287.hs:6:10: error:
Could not deduce (A a oops0)
from the context: A a oops
bound by an instance declaration:
A a oops => Read (D a)
at T5287.hs:6:10-31
The type variable ‘oops0’ 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 ‘Read (D a)’
T5287.hs:6:10: error:
• Could not deduce (A a oops0)
from the context: A a oops
bound by an instance declaration:
A a oops => Read (D a)
at T5287.hs:6:10-31
The type variable ‘oops0’ 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 ‘Read (D a)’
drvfail002.hs:19:23:
No instance for (X T c0)
arising from the first field of ‘S’ (type ‘T’)
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
When deriving the instance for (Show S)
drvfail002.hs:19:23: error:
• No instance for (X T c0)
arising from the first field of ‘S’ (type ‘T’)
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
• When deriving the instance for (Show S)
drvfail008.hs:10:43:
Can't make a derived instance of `Monad M':
`Monad' is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for `M'
drvfail008.hs:10:43: error:
• Can't make a derived instance of ‘Monad M’:
‘Monad’ is not a standard derivable class (Eq, Show, etc.)
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
• In the newtype declaration for ‘M’
drvfail016.hs-boot:7:14:
Deriving not permitted in hs-boot file
Use an instance declaration instead
drvfail016.hs-boot:7:14: error:
Deriving not permitted in hs-boot file
Use an instance declaration instead
<no location info>:
‘insert’ is exported by the hsig file, but not exported by the module
<no location info>: error:
‘insert’ is exported by the hsig file, but not exported by the module
T3651.hs:11:11:
Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’
In the pattern: U
In an equation for ‘unsafe1’: unsafe1 B U = ()
T3651.hs:14:11:
Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’
In the pattern: U
In an equation for ‘unsafe2’: unsafe2 B U = ()
T3651.hs:17:11:
Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’
In the pattern: U
In an equation for ‘unsafe3’: unsafe3 B U = True
T3651.hs:11:11: error:
• Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’
• In the pattern: U
In an equation for ‘unsafe1’: unsafe1 B U = ()
T3651.hs:14:11: error:
• Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’
• In the pattern: U
In an equation for ‘unsafe2’: unsafe2 B U = ()
T3651.hs:17:11: error:
• Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’
• In the pattern: U
In an equation for ‘unsafe3’: unsafe3 B U = True
T7293.hs:24:5:
Couldn't match type ‘'True’ with ‘'False’
Inaccessible code in
a pattern with constructor: Nil :: forall a. Vec a 'Zero,
in an equation for ‘nth’
In the pattern: Nil
In an equation for ‘nth’: nth Nil _ = undefined
T7293.hs:24:5: error:
• Couldn't match type ‘'True’ with ‘'False’
Inaccessible code in
a pattern with constructor: Nil :: forall a. Vec a 'Zero,
in an equation for ‘nth’
• In the pattern: Nil
In an equation for ‘nth’: nth Nil _ = undefined
T7294.hs:23:1: warning:
Pattern match(es) are redundant
In an equation for ‘nth’: nth Nil _ = ...
T7294.hs:25:5: Warning:
Couldn't match type ‘'True’ with ‘'False’
Inaccessible code in
a pattern with constructor: Nil :: forall a. Vec a 'Zero,
in an equation for ‘nth’
In the pattern: Nil
In an equation for ‘nth’: nth Nil _ = undefined
T7294.hs:23:1: warning:
Pattern match(es) are redundant
In an equation for ‘nth’: nth Nil _ = ...
T7294.hs:25:5: warning:
• Couldn't match type ‘'True’ with ‘'False’
Inaccessible code in
a pattern with constructor: Nil :: forall a. Vec a 'Zero,
in an equation for ‘nth’
• In the pattern: Nil
In an equation for ‘nth’: nth Nil _ = undefined
T7558.hs:8:4: error:
Couldn't match type ‘a’ with ‘Maybe a’
‘a’ is a rigid type variable bound by
the type signature for:
f :: forall a. T a a -> Bool
at T7558.hs:7:6
Inaccessible code in
a pattern with constructor:
MkT :: forall a b. (a ~ Maybe b) => a -> Maybe b -> T a b,
in an equation for ‘f’
In the pattern: MkT x y
In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True
Relevant bindings include
f :: T a a -> Bool (bound at T7558.hs:8:1)
T7558.hs:8:4: error:
• Couldn't match type ‘a’ with ‘Maybe a’
‘a’ is a rigid type variable bound by
the type signature for:
f :: forall a. T a a -> Bool
at T7558.hs:7:6
Inaccessible code in
a pattern with constructor:
MkT :: forall a b. (a ~ Maybe b) => a -> Maybe b -> T a b,
in an equation for ‘f’
• In the pattern: MkT x y
In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True
• Relevant bindings include
f :: T a a -> Bool (bound at T7558.hs:8:1)
gadt11.hs:12:3: error:
Data constructor ‘L2’ returns type ‘T1 Bool’
instead of an instance of its parent type ‘T2 a’
In the definition of data constructor ‘L2’
In the data type declaration for ‘T2’
gadt11.hs:12:3: error:
• Data constructor ‘L2’ returns type ‘T1 Bool’
instead of an instance of its parent type ‘T2 a’
• In the definition of data constructor ‘L2’
In the data type declaration for ‘T2’
gadtSyntaxFail001.hs:8:5: error:
Data constructor ‘C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a Int
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‘C2’
In the data type declaration for ‘Foo’
gadtSyntaxFail001.hs:8:5: error:
• Data constructor ‘C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a Int
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘C2’
In the data type declaration for ‘Foo’
gadtSyntaxFail002.hs:8:5: error:
Data constructor ‘C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a a
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‘C2’
In the data type declaration for ‘Foo’
gadtSyntaxFail002.hs:8:5: error:
• Data constructor ‘C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a a
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘C2’
In the data type declaration for ‘Foo’
gadtSyntaxFail003.hs:7:5: error:
Data constructor ‘C1’ has existential type variables, a context, or a specialised result type
C1 :: forall b a c. a -> Int -> c -> Foo b a
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‘C1’
In the data type declaration for ‘Foo’
gadtSyntaxFail003.hs:7:5: error:
• Data constructor ‘C1’ has existential type variables, a context, or a specialised result type
C1 :: forall b a c. a -> Int -> c -> Foo b a
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘C1’
In the data type declaration for ‘Foo’
<interactive>:1:1: Not in scope: ‘Test2’
<interactive>:1:1: error: Not in scope: ‘Test2’
class C a b where
c1 :: Num b => a -> b
c2 :: (Num b, Show b) => a -> b
c3 :: a1 -> b
{-# MINIMAL c1, c2, c3 #-}
class C a b where
c1 :: Num b => a -> b
c2 :: (Num b, Show b) => a -> b
c3 :: forall a1. a1 -> b
{-# MINIMAL c1, c2, c3 #-}
\ No newline at end of file
class C a b where
c1 :: Num b => a -> b
c2 :: (Num b, Show b) => a -> b
c3 :: a1 -> b
{-# MINIMAL c1, c2, c3 #-}
class C a b where
c1 :: Num b => a -> b
c2 :: (Num b, Show b) => a -> b
c3 :: forall a1. a1 -> b
{-# MINIMAL c1, c2, c3 #-}
A.hs:1:16: error: parse error on input ‘where’
<interactive>:25:1: error:
Variable not in scope: yan
Perhaps you meant ‘tan’ (imported from Prelude)
A.hs:1:16: error: parse error on input ‘where’
A.hs:1:16: error: parse error on input ‘where’
<interactive>:25:1: error:
• Variable not in scope: yan
• Perhaps you meant ‘tan’ (imported from Prelude)
A.hs:1:16: error: parse error on input ‘where’
<interactive>:2:1: error:
Variable not in scope: git
Perhaps you meant ‘it’ (line 1)
<interactive>:4:1: error:
Variable not in scope: fit
Perhaps you meant one of these:
‘fst’ (imported from Prelude), ‘Ghci1.it’ (imported from Ghci1),
‘it’ (line 3)
<interactive>:2:1: error:
• Variable not in scope: git
• Perhaps you meant ‘it’ (line 1)
<interactive>:4:1: error:
• Variable not in scope: fit
• Perhaps you meant one of these:
‘fst’ (imported from Prelude), ‘Ghci1.it’ (imported from Ghci1),
‘it’ (line 3)
<interactive>:1:1: Not in scope: ‘Data.Maybe.->’
<interactive>:1:1: error: Not in scope: ‘Data.Maybe.->’
<interactive>:4:1: error:
Illegal generalised algebraic data declaration for ‘T’
(Use GADTs to allow GADTs)
In the data declaration for ‘T’
ghci057.hs:3:3: error:
Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‘C’
In the data type declaration for ‘T’
ghci057.hs:3:3: error:
Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‘C’
In the data type declaration for ‘T’
<interactive>:4:1: error:
• Illegal generalised algebraic data declaration for ‘T’
(Use GADTs to allow GADTs)
• In the data declaration for ‘T’
ghci057.hs:3:3: error:
• Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘C’
In the data type declaration for ‘T’
ghci057.hs:3:3: error:
• Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘C’
In the data type declaration for ‘T’
<interactive>:1:1: Not in scope: ‘thisIsNotDefined’
<interactive>:1:1: error: Not in scope: ‘thisIsNotDefined’
<interactive>:9:1: error:
Overlapping instances for C [Int] arising from a use of ‘f’
Matching instances:
instance [safe] C [Int] -- Defined at <interactive>:6:10
instance [safe] C a => C [a] -- Defined at <interactive>:8:10
In the expression: f [4 :: Int]
In an equation for ‘it’: it = f [4 :: Int]
Overlapping instances for C [Int] arising from a use of ‘f’
Matching instances:
instance [safe] C [Int] -- Defined at <interactive>:6:10
instance [safe] C a => C [a] -- Defined at <interactive>:8:10
In the expression: f [4 :: Int]
In an equation for ‘it’: it = f [4 :: Int]
<interactive>:4:1: error:
Illegal generalised algebraic data declaration for ‘T’
(Use GADTs to allow GADTs)
In the data declaration for ‘T’
ghci057.hs:3:3: error:
Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‘C’
In the data type declaration for ‘T’
ghci057.hs:3:3: error:
Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‘C’
In the data type declaration for ‘T’
<interactive>:4:1: error:
• Illegal generalised algebraic data declaration for ‘T’
(Use GADTs to allow GADTs)
• In the data declaration for ‘T’
ghci057.hs:3:3: error:
• Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘C’
In the data type declaration for ‘T’
ghci057.hs:3:3: error:
• Data constructor ‘C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘C’
In the data type declaration for ‘T’
Simple14.hs:8:8: error:
Couldn't match type ‘z0’ with ‘z’
‘z0’ is untouchable
inside the constraints: x ~ y
bound by the type signature for:
eqE :: (x ~ y) => EQ_ z0 z0
at Simple14.hs:8:8-39
‘z’ is a rigid type variable bound by
the type signature for:
eqE :: forall x y z p. EQ_ x y -> ((x ~ y) => EQ_ z z) -> p
at Simple14.hs:8:8
Expected type: EQ_ z0 z0
Actual type: EQ_ z z
In the ambiguity check for ‘eqE’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
eqE :: EQ_ x y -> (x ~ y => EQ_ z z) -> p
Simple14.hs:8:8: error:
• Couldn't match type ‘z0’ with ‘z’
‘z0’ is untouchable
inside the constraints: x ~ y
bound by the type signature for:
eqE :: (x ~ y) => EQ_ z0 z0
at Simple14.hs:8:8-39
‘z’ is a rigid type variable bound by
the type signature for:
eqE :: forall x y z p. EQ_ x y -> ((x ~ y) => EQ_ z z) -> p
at Simple14.hs:8:8
Expected type: EQ_ z0 z0
Actual type: EQ_ z z
• In the ambiguity check for ‘eqE’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
eqE :: EQ_ x y -> (x ~ y => EQ_ z z) -> p
BadSock.hs:30:5: error:
The type family ‘Readable’ should have 1 argument, but has been given none
In the equations for closed type family ‘Foo’
In the type family declaration for ‘Foo’
BadSock.hs:30:5: error:
• The type family ‘Readable’ should have 1 argument, but has been given none
• In the equations for closed type family ‘Foo’
In the type family declaration for ‘Foo’
DerivUnsatFam.hs:8:1:
Can't make a derived instance of ‘Functor T’:
No family instance for ‘T’
In the stand-alone deriving instance for ‘Functor T’
DerivUnsatFam.hs:8:1: error:
• Can't make a derived instance of ‘Functor T’:
No family instance for ‘T’
• In the stand-alone deriving instance for ‘Functor T’
NoMatchErr.hs:19:7: error:
Couldn't match type ‘Memo d0’ with ‘Memo d’
NB: ‘Memo’ is a type function, and may not be injective
The type variable ‘d0’ is ambiguous
Expected type: Memo d a -> Memo d a
Actual type: Memo d0 a -> Memo d0 a
In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: f :: (Fun d) => Memo d a -> Memo d a
NoMatchErr.hs:19:7: error:
• Couldn't match type ‘Memo d0’ with ‘Memo d’
NB: ‘Memo’ is a type function, and may not be injective
The type variable ‘d0’ is ambiguous
Expected type: Memo d a -> Memo d a
Actual type: Memo d0 a -> Memo d0 a
• In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
f :: (Fun d) => Memo d a -> Memo d a
NotRelaxedExamples.hs:9:15: error:
Illegal nested type family application ‘F1 (F1 Char)’
(Use UndecidableInstances to permit this)
In the type instance declaration for ‘F1’
NotRelaxedExamples.hs:10:15: error:
The type family application ‘F2 [x]’
is no smaller than the instance head
(Use UndecidableInstances to permit this)
In the type instance declaration for ‘F2’
NotRelaxedExamples.hs:11:15: error:
The type family application ‘F3 [Char]’
is no smaller than the instance head
(Use UndecidableInstances to permit this)
In the type instance declaration for ‘F3’
NotRelaxedExamples.hs:9:15: error:
• Illegal nested type family application ‘F1 (F1 Char)’
(Use UndecidableInstances to permit this)
• In the type instance declaration for ‘F1’
NotRelaxedExamples.hs:10:15: error:
• The type family application ‘F2 [x]’
is no smaller than the instance head
(Use UndecidableInstances to permit this)
• In the type instance declaration for ‘F2’
NotRelaxedExamples.hs:11:15: error:
• The type family application ‘F3 [Char]’
is no smaller than the instance head
(Use UndecidableInstances to permit this)
• In the type instance declaration for ‘F3’
Overlap15.hs:16:9:
Couldn't match expected type ‘F b [b] Bool’ with actual type ‘Bool’
In the expression: False
In an equation for ‘foo’: foo _ = False
Relevant bindings include
foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)
Overlap15.hs:16:9: error:
• Couldn't match expected type ‘F b [b] Bool’
with actual type ‘Bool’
• In the expression: False
In an equation for ‘foo’: foo _ = False
• Relevant bindings include
foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)
T1900.hs:7:3: error:
Couldn't match type ‘Depend s0’ with ‘Depend s’
NB: ‘Depend’ is a type function, and may not be injective
The type variable ‘s0’ is ambiguous
Expected type: Depend s -> Depend s
Actual type: Depend s0 -> Depend s0
In the ambiguity check for ‘trans’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
trans :: forall s. Bug s => Depend s -> Depend s
In the class declaration for ‘Bug’
T1900.hs:7:3: error:
• Couldn't match type ‘Depend s0’ with ‘Depend s’
NB: ‘Depend’ is a type function, and may not be injective
The type variable ‘s0’ is ambiguous
Expected type: Depend s -> Depend s
Actual type: Depend s0 -> Depend s0
• In the ambiguity check for ‘trans’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
trans :: forall s. Bug s => Depend s -> Depend s
In the class declaration for ‘Bug’
T2157.hs:7:15: error:
The type synonym ‘S’ should have 2 arguments, but has been given 1
In the type instance declaration for ‘F’
T2157.hs:7:15: error:
• The type synonym ‘S’ should have 2 arguments, but has been given 1
• In the type instance declaration for ‘F’
T9036.hs:17:17: error:
Couldn't match type ‘Curried t0 [t0]’ with ‘Curried t [t]’
NB: ‘Curried’ is a type function, and may not be injective
The type variable ‘t0’ is ambiguous
Expected type: Maybe (GetMonad t after) -> Curried t [t]
Actual type: Maybe (GetMonad t0 after) -> Curried t0 [t0]
In the ambiguity check for ‘simpleLogger’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]
T9036.hs:17:17: error:
• Couldn't match type ‘Curried t0 [t0]’ with ‘Curried t [t]’
NB: ‘Curried’ is a type function, and may not be injective
The type variable ‘t0’ is ambiguous
Expected type: Maybe (GetMonad t after) -> Curried t [t]
Actual type: Maybe (GetMonad t0 after) -> Curried t0 [t0]
• In the ambiguity check for ‘simpleLogger’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]
T9433.hs:14:6: error:
The type family ‘Id’ should have 1 argument, but has been given none
In the type signature: x :: Map Id [Bool]
T9433.hs:14:6: error:
• The type family ‘Id’ should have 1 argument, but has been given none
• In the type signature:
x :: Map Id [Bool]