Commit 28620ba6 authored by thomie's avatar thomie

Testsuite: delete Windows line endings [skip ci] (#11631)

parent 42f06f68
T9705-1.hs:3:5: error:
Pattern synonyms not allowed in class declaration:
pattern P = ()
T9705-1.hs:3:5: error:
Pattern synonyms not allowed in class declaration:
pattern P = ()
T9705-2.hs:6:5: error:
Pattern synonyms not allowed in instance declaration:
pattern P = ()
T9705-2.hs:6:5: error:
Pattern synonyms not allowed in instance declaration:
pattern P = ()
{-# LANGUAGE PolyKinds, RoleAnnotations #-}
module T7272 where
class C (a :: k)
{-# LANGUAGE PolyKinds, RoleAnnotations #-}
module T7272 where
class C (a :: k)
Main.f Main.u1 Main.u2
Main.u1 `Main.f` Main.u2
(Main..+.) Main.u1 Main.u2
Main.u1 Main..+. Main.u2
(GHC.Types.:) Main.u1 Main.u2
Main.u1 GHC.Types.: Main.u2
\((GHC.Types.:) x_0 xs_1) -> x_0
\(x_0 GHC.Types.: xs_1) -> x_0
class Foo_0 a_1 b_2
where foo_3 :: a_1 -> b_2
\x_0 -> (x_0, 1 `x_0` 2)
\(+_0) -> ((+_0), 1 +_0 2)
(Main.f, 1 `Main.f` 2)
((Main..+.), 1 Main..+. 2)
Main.f Main.u1 Main.u2
Main.u1 `Main.f` Main.u2
(Main..+.) Main.u1 Main.u2
Main.u1 Main..+. Main.u2
(GHC.Types.:) Main.u1 Main.u2
Main.u1 GHC.Types.: Main.u2
\((GHC.Types.:) x_0 xs_1) -> x_0
\(x_0 GHC.Types.: xs_1) -> x_0
class Foo_0 a_1 b_2
where foo_3 :: a_1 -> b_2
\x_0 -> (x_0, 1 `x_0` 2)
\(+_0) -> ((+_0), 1 +_0 2)
(Main.f, 1 `Main.f` 2)
((Main..+.), 1 Main..+. 2)
T1972.hs:12:3: warning:
This binding for ‘name’ shadows the existing binding
defined at T1972.hs:9:19
T1972.hs:14:3: warning:
This binding for ‘mapAccumL’ shadows the existing bindings
imported from ‘Data.List’ at T1972.hs:7:1-16
(and originally defined in ‘Data.Traversable’)
defined at T1972.hs:16:1
T1972.hs:20:10: warning: Defined but not used: ‘c’
T1972.hs:12:3: warning:
This binding for ‘name’ shadows the existing binding
defined at T1972.hs:9:19
T1972.hs:14:3: warning:
This binding for ‘mapAccumL’ shadows the existing bindings
imported from ‘Data.List’ at T1972.hs:7:1-16
(and originally defined in ‘Data.Traversable’)
defined at T1972.hs:16:1
T1972.hs:20:10: warning: Defined but not used: ‘c’
T5331.hs:8:17: warning:
Unused quantified type variable ‘a’
In the definition of data constructor ‘S1’
T5331.hs:11:16: warning:
Unused quantified type variable ‘a’
In the type ‘forall a. W’
T5331.hs:13:13: warning:
Unused quantified type variable ‘a’
In the type ‘forall a. Int’
T5331.hs:8:17: warning:
Unused quantified type variable ‘a’
In the definition of data constructor ‘S1’
T5331.hs:11:16: warning:
Unused quantified type variable ‘a’
In the type ‘forall a. W’
T5331.hs:13:13: warning:
Unused quantified type variable ‘a’
In the type ‘forall a. Int’
MyRecord {field = "Hello, world!"}
MyRecord {field = "Hello, world!"}
RnStaticPointersFail02.hs:5:12: error:
Data constructor not in scope: T
RnStaticPointersFail02.hs:5:12: error:
Data constructor not in scope: T
T5372.hs:4:11: error:
Not in scope: data constructor ‘MkS’
Perhaps you meant ‘T5372a.MkS’ (imported from T5372a)
T5372.hs:4:17: error:
Not in scope: ‘x’
Perhaps you meant ‘T5372a.x’ (imported from T5372a)
T5372.hs:4:11: error:
Not in scope: data constructor ‘MkS’
Perhaps you meant ‘T5372a.MkS’ (imported from T5372a)
T5372.hs:4:17: error:
Not in scope: ‘x’
Perhaps you meant ‘T5372a.x’ (imported from T5372a)
T5533.hs:4:1: error:
The type signature for ‘f2’ lacks an accompanying binding
(The type signature must be given where ‘f2’ is declared)
T5533.hs:4:1: error:
The type signature for ‘f2’ lacks an accompanying binding
(The type signature must be given where ‘f2’ is declared)
T7906.hs:5:16: error:
The INLINABLE pragma for ‘foo’ lacks an accompanying binding
(The INLINABLE pragma must be given where ‘foo’ is declared)
T7906.hs:5:16: error:
The INLINABLE pragma for ‘foo’ lacks an accompanying binding
(The INLINABLE pragma must be given where ‘foo’ is declared)
T9177.hs:4:13: error:
Not in scope: type variable ‘int’
Perhaps you meant type constructor or class ‘Int’ (imported from Prelude)
T9177.hs:7:14: error:
Not in scope: type variable ‘integerr’
Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude)
T9177.hs:16:6: error:
Not in scope: data constructor ‘Fun’
Perhaps you meant variable ‘fun’ (line 20)
T9177.hs:4:13: error:
Not in scope: type variable ‘int’
Perhaps you meant type constructor or class ‘Int’ (imported from Prelude)
T9177.hs:7:14: error:
Not in scope: type variable ‘integerr’
Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude)
T9177.hs:16:6: error:
Not in scope: data constructor ‘Fun’
Perhaps you meant variable ‘fun’ (line 20)
T9177a.hs:3:8: error: Variable not in scope: bar
T9177a.hs:4:8: error: Data constructor not in scope: Fun
T9177a.hs:3:8: error: Variable not in scope: bar
T9177a.hs:4:8: error: Data constructor not in scope: Fun
mc14.hs:14:49: error: Variable not in scope: f :: [a] -> m (t0 a)
mc14.hs:14:49: error: Variable not in scope: f :: [a] -> m (t0 a)
rn_dup.hs:9:10: error:
Multiple declarations of ‘MkT’
Declared at: rn_dup.hs:7:10
rn_dup.hs:9:10
rn_dup.hs:9:10: error:
Multiple declarations of ‘MkT’
Declared at: rn_dup.hs:7:16
rn_dup.hs:9:10
rn_dup.hs:12:16: error:
Multiple declarations of ‘rf’
Declared at: rn_dup.hs:11:16
rn_dup.hs:12:16
rn_dup.hs:12:16: error:
Multiple declarations of ‘rf’
Declared at: rn_dup.hs:11:27
rn_dup.hs:12:16
rn_dup.hs:17:3: error:
Multiple declarations of ‘CT’
Declared at: rn_dup.hs:15:3
rn_dup.hs:17:3
rn_dup.hs:18:3: error:
Multiple declarations of ‘f’
Declared at: rn_dup.hs:16:3
rn_dup.hs:18:3
rn_dup.hs:9:10: error:
Multiple declarations of ‘MkT’
Declared at: rn_dup.hs:7:10
rn_dup.hs:9:10
rn_dup.hs:9:10: error:
Multiple declarations of ‘MkT’
Declared at: rn_dup.hs:7:16
rn_dup.hs:9:10
rn_dup.hs:12:16: error:
Multiple declarations of ‘rf’
Declared at: rn_dup.hs:11:16
rn_dup.hs:12:16
rn_dup.hs:12:16: error:
Multiple declarations of ‘rf’
Declared at: rn_dup.hs:11:27
rn_dup.hs:12:16
rn_dup.hs:17:3: error:
Multiple declarations of ‘CT’
Declared at: rn_dup.hs:15:3
rn_dup.hs:17:3
rn_dup.hs:18:3: error:
Multiple declarations of ‘f’
Declared at: rn_dup.hs:16:3
rn_dup.hs:18:3
rnfail024.hs:3:1: error:
The type signature for ‘sig_without_a_defn’
lacks an accompanying binding
rnfail024.hs:3:1: error:
The type signature for ‘sig_without_a_defn’
lacks an accompanying binding
rnfail044.hs:5:12: error:
Ambiguous occurrence ‘splitAt’
It could refer to either ‘Data.List.splitAt’,
imported from ‘Prelude’ at rnfail044.hs:5:8
(and originally defined in ‘GHC.List’)
or ‘A.splitAt’, defined at rnfail044.hs:8:3
rnfail044.hs:5:12: error:
Ambiguous occurrence ‘splitAt’
It could refer to either ‘Data.List.splitAt’,
imported from ‘Prelude’ at rnfail044.hs:5:8
(and originally defined in ‘GHC.List’)
or ‘A.splitAt’, defined at rnfail044.hs:8:3
rnfail049.hs:12:49: error: Variable not in scope: f :: [a] -> [[a]]
rnfail049.hs:12:49: error: Variable not in scope: f :: [a] -> [[a]]
rnfail050.hs:10:37: error: Variable not in scope: f :: [a] -> [a]
rnfail050.hs:10:37: error: Variable not in scope: f :: [a] -> [a]
// Copyright (C) 2015, Luke Iannini
#include <iostream>
#include <exception>
#include <string.h>
// Make sure can call unmangled names from Haskell's FFI
extern "C" {
int talkToCxx() {
try {
throw 20;
}
catch (int e) {
std::cout << "An exception occurred. Exception Nr. " << e << '\n';
}
std::cout << "Hello From C++!";
}
}
// Copyright (C) 2015, Luke Iannini
#include <iostream>
#include <exception>
#include <string.h>
// Make sure can call unmangled names from Haskell's FFI
extern "C" {
int talkToCxx() {
try {
throw 20;
}
catch (int e) {
std::cout << "An exception occurred. Exception Nr. " << e << '\n';
}
std::cout << "Hello From C++!";
}
}
Segmentation fault/access violation in generated code
Segmentation fault/access violation in generated code
<interactive>:9:1: error: Variable not in scope: b
<interactive>:9:1: error: Variable not in scope: b
<interactive>:9:1: error: Variable not in scope: b
<interactive>:9:1: error: Variable not in scope: b
==================== Tidy Core rules ====================
"SPEC f" [ALWAYS]
forall (@ b) ($dOrd :: Ord [Int]). f @ [Int] @ b $dOrd = f_$sf @ b
==================== Tidy Core rules ====================
"SPEC f" [ALWAYS]
forall (@ b) ($dOrd :: Ord [Int]). f @ [Int] @ b $dOrd = f_$sf @ b
Right (Left (),JSONState [] () ())
Right (Left (),JSONState [] () ())
foo :: (GHC.Types.Int -> GHC.Types.Bool) -> GHC.Types.Bool
foo :: (GHC.Types.Int -> GHC.Types.Bool) -> GHC.Types.Bool
type family T_0 :: (* -> * -> * -> *) -> (* -> *) -> *
type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *
type family T_0 :: (* -> * -> * -> *) -> (* -> *) -> *
type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *
T5217.hs:(6,3)-(9,53): Splicing declarations
[d| data T a b
where
T1 :: Int -> T Int Char
T2 :: a -> T a a
T3 :: a -> T [a] a
T4 :: a -> b -> T b [a] |]
======>
data T a b
where
T1 :: Int -> T Int Char
T2 :: forall a. a -> T a a
T3 :: forall a. a -> T [a] a
T4 :: forall a b. a -> b -> T b [a]
T5217.hs:(6,3)-(9,53): Splicing declarations
[d| data T a b
where
T1 :: Int -> T Int Char
T2 :: a -> T a a
T3 :: a -> T [a] a
T4 :: a -> b -> T b [a] |]
======>
data T a b
where
T1 :: Int -> T Int Char
T2 :: forall a. a -> T a a
T3 :: forall a. a -> T [a] a
T4 :: forall a b. a -> b -> T b [a]
T7241.hs:7:3: error:
Same exact name in multiple name-spaces:
type constructor or class ‘Foo’, declared at: T7241.hs:7:3
data constructor ‘Foo’, declared at: T7241.hs:7:3
Probable cause: you bound a unique Template Haskell name (NameU),
perhaps via newName, in different name-spaces.
If that's it, then -ddump-splices might be useful
T7241.hs:7:3: error:
Same exact name in multiple name-spaces:
type constructor or class ‘Foo’, declared at: T7241.hs:7:3
data constructor ‘Foo’, declared at: T7241.hs:7:3
Probable cause: you bound a unique Template Haskell name (NameU),
perhaps via newName, in different name-spaces.
If that's it, then -ddump-splices might be useful
[InstanceD [AppT (AppT EqualityT (VarT y_0)) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT Ghci1.Member) (ConT GHC.Types.Bool)) []]
[SigD f_4 (ForallT [PlainTV y_2,PlainTV t_3] [AppT (AppT EqualityT (VarT y_2)) (AppT (AppT ArrowT (VarT t_3)) (VarT t_3))] (AppT (AppT ArrowT (VarT y_2)) (VarT t_3))),FunD f_4 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]
[InstanceD [AppT (AppT EqualityT (VarT y_0)) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT Ghci1.Member) (ConT GHC.Types.Bool)) []]
[SigD f_4 (ForallT [PlainTV y_2,PlainTV t_3] [AppT (AppT EqualityT (VarT y_2)) (AppT (AppT ArrowT (VarT t_3)) (VarT t_3))] (AppT (AppT ArrowT (VarT y_2)) (VarT t_3))),FunD f_4 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]
T8932.hs:11:1: error:
Multiple declarations of ‘foo’
Declared at: T8932.hs:5:3
T8932.hs:11:1
T8932.hs:11:1: error:
Multiple declarations of ‘foo’
Declared at: T8932.hs:5:3
T8932.hs:11:1
virtual file:42:1: error: Variable not in scope: doesntExist
virtual file:42:1: error: Variable not in scope: doesntExist
TH_pragma.hs:(6,4)-(8,26): Splicing declarations
[d| foo :: Int -> Int
{-# NOINLINE foo #-}
foo x = x + 1 |]
======>
foo :: Int -> Int
{-# NOINLINE foo #-}
foo x = (x + 1)
TH_pragma.hs:(10,4)-(12,31): Splicing declarations
[d| bar :: Num a => a -> a
{-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
bar x = x * 10 |]
======>
bar :: forall a. Num a => a -> a
{-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
bar x = (x * 10)
TH_pragma.hs:(6,4)-(8,26): Splicing declarations
[d| foo :: Int -> Int
{-# NOINLINE foo #-}
foo x = x + 1 |]
======>
foo :: Int -> Int
{-# NOINLINE foo #-}
foo x = (x + 1)
TH_pragma.hs:(10,4)-(12,31): Splicing declarations
[d| bar :: Num a => a -> a
{-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
bar x = x * 10 |]
======>
bar :: forall a. Num a => a -> a
{-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
bar x = (x * 10)
ViewP (VarE GHC.Base.id) (VarP x_0)
(GHC.Base.id -> x_0)
ViewP (VarE GHC.Base.id) (VarP x_0)
(GHC.Base.id -> x_0)
T11254.hs:16:10: warning:
• Couldn't match type ‘Frac Int’ with ‘Int’
arising from the superclasses of an instance declaration
• In the instance declaration for ‘ID Rational’
T11254.hs:18:12: warning:
• Couldn't match type ‘GHC.Real.Ratio Integer’ with ‘Int’
Expected type: Rational -> Frac Rational
Actual type: Rational -> Rational
• When checking that instance signature for ‘embed’
is more general than its signature in the class
Instance sig: Rational -> Rational
Class sig: Rational -> Frac Rational
In the instance declaration for ‘ID Rational’
T11254.hs:16:10: warning:
• Couldn't match type ‘Frac Int’ with ‘Int’
arising from the superclasses of an instance declaration
• In the instance declaration for ‘ID Rational’
T11254.hs:18:12: warning:
• Couldn't match type ‘GHC.Real.Ratio Integer’ with ‘Int’
Expected type: Rational -> Frac Rational
Actual type: Rational -> Rational
• When checking that instance signature for ‘embed’
is more general than its signature in the class
Instance sig: Rational -> Rational
Class sig: Rational -> Frac Rational
In the instance declaration for ‘ID Rational’
T11355.hs:5:7: error:
• Illegal polymorphic type: forall (a :: TYPE t0). a
GHC doesn't yet support impredicative polymorphism
• In the expression:
const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
In an equation for ‘foo’:
foo
= const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
T11355.hs:5:7: error:
• Illegal polymorphic type: forall (a :: TYPE t0). a
GHC doesn't yet support impredicative polymorphism
• In the expression:
const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
In an equation for ‘foo’:
foo
= const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
T2538.hs:6:6: error:
• Illegal qualified type: Eq a => a -> a
Perhaps you intended to use RankNTypes or Rank2Types
• In the type signature:
f :: (Eq a => a -> a) -> Int
T2538.hs:9:6: error:
• Illegal qualified type: Eq a => a -> a
GHC doesn't yet support impredicative polymorphism
• In the type signature:
g :: [Eq a => a -> a] -> Int
T2538.hs:12:6: error:
• Illegal qualified type: Eq a => a -> a
GHC doesn't yet support impredicative polymorphism
• In the type signature:
h :: Ix (Eq a => a -> a) => Int
T2538.hs:6:6: error:
• Illegal qualified type: Eq a => a -> a
Perhaps you intended to use RankNTypes or Rank2Types
• In the type signature:
f :: (Eq a => a -> a) -> Int
T2538.hs:9:6: error:
• Illegal qualified type: Eq a => a -> a
GHC doesn't yet support impredicative polymorphism
• In the type signature:
g :: [Eq a => a -> a] -> Int
T2538.hs:12:6: error:
• Illegal qualified type: Eq a => a -> a
GHC doesn't yet support impredicative polymorphism
• In the type signature:
h :: Ix (Eq a => a -> a) => Int
T5957.hs:3:9: error:
• Illegal qualified type: Show a => a -> String
Perhaps you intended to use RankNTypes or Rank2Types
• In the type signature:
flex :: Int -> Show a => a -> String
T5957.hs:3:9: error:
• Illegal qualified type: Show a => a -> String
Perhaps you intended to use RankNTypes or Rank2Types
• In the type signature:
flex :: Int -> Show a => a -> String
T7019.hs:11:1: error:
• Illegal polymorphic type: forall a. c (Free c a)
A constraint must be a monotype
• In the type synonym declaration for ‘C’
T7019.hs:11:1: error:
• Illegal polymorphic type: forall a. c (Free c a)
A constraint must be a monotype
• In the type synonym declaration for ‘C’
T7019a.hs:11:1: error:
• Illegal polymorphic type: forall b. Context (Associated a b)
A constraint must be a monotype
• In the context: forall b. Context (Associated a b)
While checking the super-classes of class ‘Class’
In the class declaration for ‘Class’
T7019a.hs:11:1: error:
• Illegal polymorphic type: forall b. Context (Associated a b)
A constraint must be a monotype
• In the context: forall b. Context (Associated a b)
While checking the super-classes of class ‘Class’
In the class declaration for ‘Class’
T7809.hs:8:8: error:
• Illegal polymorphic type: PolyId
GHC doesn't yet support impredicative polymorphism
• In the type signature:
foo :: F PolyId
T7809.hs:8:8: error:
• Illegal polymorphic type: PolyId
GHC doesn't yet support impredicative polymorphism
• In the type signature:
foo :: F PolyId
T8806.hs:5:6: error:
• Expected a constraint, but ‘Int’ has kind ‘*’
• In the type signature:
f :: Int => Int
T8806.hs:8:7: error:
• Expected a constraint, but ‘Int’ has kind ‘*’
• In the type signature:
g :: (Int => Show a) => Int
T8806.hs:5:6: error:
• Expected a constraint, but ‘Int’ has kind ‘*’
• In the type signature:
f :: Int => Int
T8806.hs:8:7: error:
• Expected a constraint, but ‘Int’ has kind ‘*’
• In the type signature:
g :: (Int => Show a) => Int
T9196.hs:4:6: error:
• Illegal polymorphic type: forall a1. Eq a1
A constraint must be a monotype
• In the type signature:
f :: (forall a. Eq a) => a -> a
T9196.hs:7:6: error:
• Illegal qualified type: Eq a => Ord a
A constraint must be a monotype
• In the type signature:
g :: (Eq a => Ord a) => a -> a
T9196.hs:4:6: error:
• Illegal polymorphic type: forall a1. Eq a1
A constraint must be a monotype
• In the type signature:
f :: (forall a. Eq a) => a -> a