diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:07:49 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
| commit | 9cdde38144331510673b5296b00c88fbe566adcf (patch) | |
| tree | f8c904980f681506307b925166ce9e061b02d06f | |
| parent | cdc14b480adc58c2937d54d0db0fd36e4ed532b0 (diff) | |
| download | haskell-9cdde38144331510673b5296b00c88fbe566adcf.tar.gz | |
Testsuite: remove Windows CR [skip ci]
41 files changed, 953 insertions, 953 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr index 097bb88829..28b5f44e68 100644 --- a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- bravo :: forall w. Num w => w
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + bravo :: forall w. Num w => w +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr index 097bb88829..28b5f44e68 100644 --- a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- bravo :: forall w. Num w => w
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + bravo :: forall w. Num w => w +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/Either.stderr b/testsuite/tests/partial-sigs/should_compile/Either.stderr index 2843775174..e1d92ff1b4 100644 --- a/testsuite/tests/partial-sigs/should_compile/Either.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Either.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- barry :: forall w. w -> (Either [Char] w, Either [Char] w)
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + barry :: forall w. w -> (Either [Char] w, Either [Char] w) +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr b/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr index 29a6506979..e133db6dd0 100644 --- a/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- every :: forall w. (w -> Bool) -> [w] -> Bool
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + every :: forall w. (w -> Bool) -> [w] -> Bool +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr b/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr index b94e0c5c17..cfe5aeb6d0 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr @@ -1,17 +1,17 @@ -
-ExprSigLocal.hs:9:35: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of <expression> :: a -> a
- at ExprSigLocal.hs:9:20-35
- • In an expression type signature: forall a. a -> _
- In the expression: ((\ x -> x) :: forall a. a -> _)
- In an equation for ‘y’: y = ((\ x -> x) :: forall a. a -> _)
- • Relevant bindings include
- y :: b -> b (bound at ExprSigLocal.hs:9:1)
-
-ExprSigLocal.hs:11:21: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of g :: a -> a at ExprSigLocal.hs:12:1-7
- • In the type signature: g :: forall a. a -> _
+ +ExprSigLocal.hs:9:35: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of <expression> :: a -> a + at ExprSigLocal.hs:9:20-35 + • In an expression type signature: forall a. a -> _ + In the expression: ((\ x -> x) :: forall a. a -> _) + In an equation for ‘y’: y = ((\ x -> x) :: forall a. a -> _) + • Relevant bindings include + y :: b -> b (bound at ExprSigLocal.hs:9:1) + +ExprSigLocal.hs:11:21: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of g :: a -> a at ExprSigLocal.hs:12:1-7 + • In the type signature: g :: forall a. a -> _ diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr index 4c9ecb363a..83c22b61af 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr @@ -1,11 +1,11 @@ -TYPE SIGNATURES
- arbitCs1 :: forall a. (Eq a, Enum a, Show a) => a -> String
- arbitCs2 :: forall a. (Show a, Enum a, Eq a) => a -> String
- arbitCs3 :: forall a. (Show a, Enum a, Eq a) => a -> String
- arbitCs4 :: forall a. (Eq a, Show a, Enum a) => a -> String
- arbitCs5 :: forall a. (Eq a, Enum a, Show a) => a -> String
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + arbitCs1 :: forall a. (Eq a, Enum a, Show a) => a -> String + arbitCs2 :: forall a. (Show a, Enum a, Eq a) => a -> String + arbitCs3 :: forall a. (Show a, Enum a, Eq a) => a -> String + arbitCs4 :: forall a. (Eq a, Show a, Enum a) => a -> String + arbitCs5 :: forall a. (Eq a, Enum a, Show a) => a -> String +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr index 2526f72019..2dd9d18254 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr @@ -1,234 +1,234 @@ -TYPE SIGNATURES
- !! :: forall a. [a] -> Int -> a
- $ :: forall b a. (a -> b) -> a -> b
- $! :: forall b a. (a -> b) -> a -> b
- && :: Bool -> Bool -> Bool
- * :: forall a. Num a => a -> a -> a
- ** :: forall a. Floating a => a -> a -> a
- + :: forall a. Num a => a -> a -> a
- ++ :: forall a. [a] -> [a] -> [a]
- - :: forall a. Num a => a -> a -> a
- . :: forall a c b. (b -> c) -> (a -> b) -> a -> c
- / :: forall a. Fractional a => a -> a -> a
- /= :: forall a. Eq a => a -> a -> Bool
- < :: forall a. Ord a => a -> a -> Bool
- <= :: forall a. Ord a => a -> a -> Bool
- =<< ::
- forall b (m :: * -> *) a. Monad m => (a -> m b) -> m a -> m b
- == :: forall a. Eq a => a -> a -> Bool
- > :: forall a. Ord a => a -> a -> Bool
- >= :: forall a. Ord a => a -> a -> Bool
- >> :: forall b a (m :: * -> *). Monad m => m a -> m b -> m b
- >>= ::
- forall b a (m :: * -> *). Monad m => m a -> (a -> m b) -> m b
- ^ :: forall b a. (Num a, Integral b) => a -> b -> a
- ^^ :: forall b a. (Integral b, Fractional a) => a -> b -> a
- abs :: forall a. Num a => a -> a
- acos :: forall a. Floating a => a -> a
- acosh :: forall a. Floating a => a -> a
- all ::
- forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool
- and :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool
- any ::
- forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool
- appendFile :: FilePath -> String -> IO ()
- asTypeOf :: forall a. a -> a -> a
- asin :: forall a. Floating a => a -> a
- asinh :: forall a. Floating a => a -> a
- atan :: forall a. Floating a => a -> a
- atan2 :: forall a. RealFloat a => a -> a -> a
- atanh :: forall a. Floating a => a -> a
- break :: forall a. (a -> Bool) -> [a] -> ([a], [a])
- ceiling :: forall b a. (Integral b, RealFrac a) => a -> b
- compare :: forall a. Ord a => a -> a -> Ordering
- concat :: forall (t :: * -> *) a. P.Foldable t => t [a] -> [a]
- concatMap ::
- forall (t :: * -> *) b a. P.Foldable t => (a -> [b]) -> t a -> [b]
- const :: forall b a. a -> b -> a
- cos :: forall a. Floating a => a -> a
- cosh :: forall a. Floating a => a -> a
- curry :: forall b a c. ((a, b) -> c) -> a -> b -> c
- cycle :: forall a. [a] -> [a]
- decodeFloat :: forall a. RealFloat a => a -> (Integer, Int)
- div :: forall a. Integral a => a -> a -> a
- divMod :: forall a. Integral a => a -> a -> (a, a)
- drop :: forall a. Int -> [a] -> [a]
- dropWhile :: forall a. (a -> Bool) -> [a] -> [a]
- either :: forall b c a. (a -> c) -> (b -> c) -> Either a b -> c
- elem ::
- forall (t :: * -> *) a. (Eq a, P.Foldable t) => a -> t a -> Bool
- encodeFloat :: forall a. RealFloat a => Integer -> Int -> a
- enumFrom :: forall a. Enum a => a -> [a]
- enumFromThen :: forall a. Enum a => a -> a -> [a]
- enumFromThenTo :: forall a. Enum a => a -> a -> a -> [a]
- enumFromTo :: forall a. Enum a => a -> a -> [a]
- error :: forall a. [Char] -> a
- even :: forall a. Integral a => a -> Bool
- exp :: forall a. Floating a => a -> a
- exponent :: forall a. RealFloat a => a -> Int
- fail :: forall a (m :: * -> *). Monad m => String -> m a
- filter :: forall a. (a -> Bool) -> [a] -> [a]
- flip :: forall c b a. (a -> b -> c) -> b -> a -> c
- floatDigits :: forall a. RealFloat a => a -> Int
- floatRadix :: forall a. RealFloat a => a -> Integer
- floatRange :: forall a. RealFloat a => a -> (Int, Int)
- floor :: forall b a. (Integral b, RealFrac a) => a -> b
- fmap ::
- forall (f :: * -> *) b a. Functor f => (a -> b) -> f a -> f b
- foldl ::
- forall (t :: * -> *) a b.
- P.Foldable t =>
- (b -> a -> b) -> b -> t a -> b
- foldl1 ::
- forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a
- foldr ::
- forall (t :: * -> *) b a.
- P.Foldable t =>
- (a -> b -> b) -> b -> t a -> b
- foldr1 ::
- forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a
- fromEnum :: forall a. Enum a => a -> Int
- fromInteger :: forall a. Num a => Integer -> a
- fromIntegral :: forall b a. (Num b, Integral a) => a -> b
- fromRational :: forall a. Fractional a => Rational -> a
- fst :: forall b a. (a, b) -> a
- gcd :: forall a. Integral a => a -> a -> a
- getChar :: IO Char
- getContents :: IO String
- getLine :: IO String
- head :: forall a. [a] -> a
- id :: forall a. a -> a
- init :: forall a. [a] -> [a]
- interact :: (String -> String) -> IO ()
- ioError :: forall a. IOError -> IO a
- isDenormalized :: forall a. RealFloat a => a -> Bool
- isIEEE :: forall a. RealFloat a => a -> Bool
- isInfinite :: forall a. RealFloat a => a -> Bool
- isNaN :: forall a. RealFloat a => a -> Bool
- isNegativeZero :: forall a. RealFloat a => a -> Bool
- iterate :: forall a. (a -> a) -> a -> [a]
- last :: forall a. [a] -> a
- lcm :: forall a. Integral a => a -> a -> a
- length :: forall a (t :: * -> *). P.Foldable t => t a -> Int
- lex :: ReadS String
- lines :: String -> [String]
- log :: forall a. Floating a => a -> a
- logBase :: forall a. Floating a => a -> a -> a
- lookup :: forall b a. Eq a => a -> [(a, b)] -> Maybe b
- map :: forall b a. (a -> b) -> [a] -> [b]
- mapM ::
- forall (t :: * -> *) b (m :: * -> *) a.
- (Monad m, P.Traversable t) =>
- (a -> m b) -> t a -> m (t b)
- mapM_ ::
- forall (t :: * -> *) b (m :: * -> *) a.
- (Monad m, P.Foldable t) =>
- (a -> m b) -> t a -> m ()
- max :: forall a. Ord a => a -> a -> a
- maxBound :: forall w. Bounded w => w
- maximum ::
- forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a
- maybe :: forall a b. b -> (a -> b) -> Maybe a -> b
- min :: forall a. Ord a => a -> a -> a
- minBound :: forall w. Bounded w => w
- minimum ::
- forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a
- mod :: forall a. Integral a => a -> a -> a
- negate :: forall a. Num a => a -> a
- not :: Bool -> Bool
- notElem ::
- forall (t :: * -> *) a. (Eq a, P.Foldable t) => a -> t a -> Bool
- null :: forall a (t :: * -> *). P.Foldable t => t a -> Bool
- odd :: forall a. Integral a => a -> Bool
- or :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool
- otherwise :: Bool
- pi :: forall w. Floating w => w
- pred :: forall a. Enum a => a -> a
- print :: forall a. Show a => a -> IO ()
- product ::
- forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a
- properFraction ::
- forall b a. (Integral b, RealFrac a) => a -> (b, a)
- putChar :: Char -> IO ()
- putStr :: String -> IO ()
- putStrLn :: String -> IO ()
- quot :: forall a. Integral a => a -> a -> a
- quotRem :: forall a. Integral a => a -> a -> (a, a)
- read :: forall a. Read a => String -> a
- readFile :: FilePath -> IO String
- readIO :: forall a. Read a => String -> IO a
- readList :: forall a. Read a => ReadS [a]
- readLn :: forall a. Read a => IO a
- readParen :: forall a. Bool -> ReadS a -> ReadS a
- reads :: forall a. Read a => ReadS a
- readsPrec :: forall a. Read a => Int -> ReadS a
- realToFrac :: forall b a. (Fractional b, Real a) => a -> b
- recip :: forall a. Fractional a => a -> a
- rem :: forall a. Integral a => a -> a -> a
- repeat :: forall a. a -> [a]
- replicate :: forall a. Int -> a -> [a]
- return :: forall (m :: * -> *) a. Monad m => a -> m a
- reverse :: forall a. [a] -> [a]
- round :: forall b a. (Integral b, RealFrac a) => a -> b
- scaleFloat :: forall a. RealFloat a => Int -> a -> a
- scanl :: forall a b. (b -> a -> b) -> b -> [a] -> [b]
- scanl1 :: forall a. (a -> a -> a) -> [a] -> [a]
- scanr :: forall b a. (a -> b -> b) -> b -> [a] -> [b]
- scanr1 :: forall a. (a -> a -> a) -> [a] -> [a]
- seq :: forall b a. a -> b -> b
- sequence ::
- forall a (m :: * -> *) (t :: * -> *).
- (Monad m, P.Traversable t) =>
- t (m a) -> m (t a)
- sequence_ ::
- forall a (t :: * -> *) (m :: * -> *).
- (Monad m, P.Foldable t) =>
- t (m a) -> m ()
- show :: forall a. Show a => a -> String
- showChar :: Char -> ShowS
- showList :: forall a. Show a => [a] -> ShowS
- showParen :: Bool -> ShowS -> ShowS
- showString :: String -> ShowS
- shows :: forall a. Show a => a -> ShowS
- showsPrec :: forall a. Show a => Int -> a -> ShowS
- significand :: forall a. RealFloat a => a -> a
- signum :: forall a. Num a => a -> a
- sin :: forall a. Floating a => a -> a
- sinh :: forall a. Floating a => a -> a
- snd :: forall a b. (a, b) -> b
- span :: forall a. (a -> Bool) -> [a] -> ([a], [a])
- splitAt :: forall a. Int -> [a] -> ([a], [a])
- sqrt :: forall a. Floating a => a -> a
- subtract :: forall a. Num a => a -> a -> a
- succ :: forall a. Enum a => a -> a
- sum :: forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a
- tail :: forall a. [a] -> [a]
- take :: forall a. Int -> [a] -> [a]
- takeWhile :: forall a. (a -> Bool) -> [a] -> [a]
- tan :: forall a. Floating a => a -> a
- tanh :: forall a. Floating a => a -> a
- toEnum :: forall a. Enum a => Int -> a
- toInteger :: forall a. Integral a => a -> Integer
- toRational :: forall a. Real a => a -> Rational
- truncate :: forall b a. (Integral b, RealFrac a) => a -> b
- uncurry :: forall c b a. (a -> b -> c) -> (a, b) -> c
- undefined :: forall w. w
- unlines :: [String] -> String
- until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
- unwords :: [String] -> String
- unzip :: forall b a. [(a, b)] -> ([a], [b])
- unzip3 :: forall c b a. [(a, b, c)] -> ([a], [b], [c])
- userError :: String -> IOError
- words :: String -> [String]
- writeFile :: FilePath -> String -> IO ()
- zip :: forall b a. [a] -> [b] -> [(a, b)]
- zip3 :: forall c b a. [a] -> [b] -> [c] -> [(a, b, c)]
- zipWith :: forall c b a. (a -> b -> c) -> [a] -> [b] -> [c]
- zipWith3 ::
- forall d c b a. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
- || :: Bool -> Bool -> Bool
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + !! :: forall a. [a] -> Int -> a + $ :: forall b a. (a -> b) -> a -> b + $! :: forall b a. (a -> b) -> a -> b + && :: Bool -> Bool -> Bool + * :: forall a. Num a => a -> a -> a + ** :: forall a. Floating a => a -> a -> a + + :: forall a. Num a => a -> a -> a + ++ :: forall a. [a] -> [a] -> [a] + - :: forall a. Num a => a -> a -> a + . :: forall a c b. (b -> c) -> (a -> b) -> a -> c + / :: forall a. Fractional a => a -> a -> a + /= :: forall a. Eq a => a -> a -> Bool + < :: forall a. Ord a => a -> a -> Bool + <= :: forall a. Ord a => a -> a -> Bool + =<< :: + forall b (m :: * -> *) a. Monad m => (a -> m b) -> m a -> m b + == :: forall a. Eq a => a -> a -> Bool + > :: forall a. Ord a => a -> a -> Bool + >= :: forall a. Ord a => a -> a -> Bool + >> :: forall b a (m :: * -> *). Monad m => m a -> m b -> m b + >>= :: + forall b a (m :: * -> *). Monad m => m a -> (a -> m b) -> m b + ^ :: forall b a. (Num a, Integral b) => a -> b -> a + ^^ :: forall b a. (Integral b, Fractional a) => a -> b -> a + abs :: forall a. Num a => a -> a + acos :: forall a. Floating a => a -> a + acosh :: forall a. Floating a => a -> a + all :: + forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool + and :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool + any :: + forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool + appendFile :: FilePath -> String -> IO () + asTypeOf :: forall a. a -> a -> a + asin :: forall a. Floating a => a -> a + asinh :: forall a. Floating a => a -> a + atan :: forall a. Floating a => a -> a + atan2 :: forall a. RealFloat a => a -> a -> a + atanh :: forall a. Floating a => a -> a + break :: forall a. (a -> Bool) -> [a] -> ([a], [a]) + ceiling :: forall b a. (Integral b, RealFrac a) => a -> b + compare :: forall a. Ord a => a -> a -> Ordering + concat :: forall (t :: * -> *) a. P.Foldable t => t [a] -> [a] + concatMap :: + forall (t :: * -> *) b a. P.Foldable t => (a -> [b]) -> t a -> [b] + const :: forall b a. a -> b -> a + cos :: forall a. Floating a => a -> a + cosh :: forall a. Floating a => a -> a + curry :: forall b a c. ((a, b) -> c) -> a -> b -> c + cycle :: forall a. [a] -> [a] + decodeFloat :: forall a. RealFloat a => a -> (Integer, Int) + div :: forall a. Integral a => a -> a -> a + divMod :: forall a. Integral a => a -> a -> (a, a) + drop :: forall a. Int -> [a] -> [a] + dropWhile :: forall a. (a -> Bool) -> [a] -> [a] + either :: forall b c a. (a -> c) -> (b -> c) -> Either a b -> c + elem :: + forall (t :: * -> *) a. (Eq a, P.Foldable t) => a -> t a -> Bool + encodeFloat :: forall a. RealFloat a => Integer -> Int -> a + enumFrom :: forall a. Enum a => a -> [a] + enumFromThen :: forall a. Enum a => a -> a -> [a] + enumFromThenTo :: forall a. Enum a => a -> a -> a -> [a] + enumFromTo :: forall a. Enum a => a -> a -> [a] + error :: forall a. [Char] -> a + even :: forall a. Integral a => a -> Bool + exp :: forall a. Floating a => a -> a + exponent :: forall a. RealFloat a => a -> Int + fail :: forall a (m :: * -> *). Monad m => String -> m a + filter :: forall a. (a -> Bool) -> [a] -> [a] + flip :: forall c b a. (a -> b -> c) -> b -> a -> c + floatDigits :: forall a. RealFloat a => a -> Int + floatRadix :: forall a. RealFloat a => a -> Integer + floatRange :: forall a. RealFloat a => a -> (Int, Int) + floor :: forall b a. (Integral b, RealFrac a) => a -> b + fmap :: + forall (f :: * -> *) b a. Functor f => (a -> b) -> f a -> f b + foldl :: + forall (t :: * -> *) a b. + P.Foldable t => + (b -> a -> b) -> b -> t a -> b + foldl1 :: + forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a + foldr :: + forall (t :: * -> *) b a. + P.Foldable t => + (a -> b -> b) -> b -> t a -> b + foldr1 :: + forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a + fromEnum :: forall a. Enum a => a -> Int + fromInteger :: forall a. Num a => Integer -> a + fromIntegral :: forall b a. (Num b, Integral a) => a -> b + fromRational :: forall a. Fractional a => Rational -> a + fst :: forall b a. (a, b) -> a + gcd :: forall a. Integral a => a -> a -> a + getChar :: IO Char + getContents :: IO String + getLine :: IO String + head :: forall a. [a] -> a + id :: forall a. a -> a + init :: forall a. [a] -> [a] + interact :: (String -> String) -> IO () + ioError :: forall a. IOError -> IO a + isDenormalized :: forall a. RealFloat a => a -> Bool + isIEEE :: forall a. RealFloat a => a -> Bool + isInfinite :: forall a. RealFloat a => a -> Bool + isNaN :: forall a. RealFloat a => a -> Bool + isNegativeZero :: forall a. RealFloat a => a -> Bool + iterate :: forall a. (a -> a) -> a -> [a] + last :: forall a. [a] -> a + lcm :: forall a. Integral a => a -> a -> a + length :: forall a (t :: * -> *). P.Foldable t => t a -> Int + lex :: ReadS String + lines :: String -> [String] + log :: forall a. Floating a => a -> a + logBase :: forall a. Floating a => a -> a -> a + lookup :: forall b a. Eq a => a -> [(a, b)] -> Maybe b + map :: forall b a. (a -> b) -> [a] -> [b] + mapM :: + forall (t :: * -> *) b (m :: * -> *) a. + (Monad m, P.Traversable t) => + (a -> m b) -> t a -> m (t b) + mapM_ :: + forall (t :: * -> *) b (m :: * -> *) a. + (Monad m, P.Foldable t) => + (a -> m b) -> t a -> m () + max :: forall a. Ord a => a -> a -> a + maxBound :: forall w. Bounded w => w + maximum :: + forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a + maybe :: forall a b. b -> (a -> b) -> Maybe a -> b + min :: forall a. Ord a => a -> a -> a + minBound :: forall w. Bounded w => w + minimum :: + forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a + mod :: forall a. Integral a => a -> a -> a + negate :: forall a. Num a => a -> a + not :: Bool -> Bool + notElem :: + forall (t :: * -> *) a. (Eq a, P.Foldable t) => a -> t a -> Bool + null :: forall a (t :: * -> *). P.Foldable t => t a -> Bool + odd :: forall a. Integral a => a -> Bool + or :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool + otherwise :: Bool + pi :: forall w. Floating w => w + pred :: forall a. Enum a => a -> a + print :: forall a. Show a => a -> IO () + product :: + forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a + properFraction :: + forall b a. (Integral b, RealFrac a) => a -> (b, a) + putChar :: Char -> IO () + putStr :: String -> IO () + putStrLn :: String -> IO () + quot :: forall a. Integral a => a -> a -> a + quotRem :: forall a. Integral a => a -> a -> (a, a) + read :: forall a. Read a => String -> a + readFile :: FilePath -> IO String + readIO :: forall a. Read a => String -> IO a + readList :: forall a. Read a => ReadS [a] + readLn :: forall a. Read a => IO a + readParen :: forall a. Bool -> ReadS a -> ReadS a + reads :: forall a. Read a => ReadS a + readsPrec :: forall a. Read a => Int -> ReadS a + realToFrac :: forall b a. (Fractional b, Real a) => a -> b + recip :: forall a. Fractional a => a -> a + rem :: forall a. Integral a => a -> a -> a + repeat :: forall a. a -> [a] + replicate :: forall a. Int -> a -> [a] + return :: forall (m :: * -> *) a. Monad m => a -> m a + reverse :: forall a. [a] -> [a] + round :: forall b a. (Integral b, RealFrac a) => a -> b + scaleFloat :: forall a. RealFloat a => Int -> a -> a + scanl :: forall a b. (b -> a -> b) -> b -> [a] -> [b] + scanl1 :: forall a. (a -> a -> a) -> [a] -> [a] + scanr :: forall b a. (a -> b -> b) -> b -> [a] -> [b] + scanr1 :: forall a. (a -> a -> a) -> [a] -> [a] + seq :: forall b a. a -> b -> b + sequence :: + forall a (m :: * -> *) (t :: * -> *). + (Monad m, P.Traversable t) => + t (m a) -> m (t a) + sequence_ :: + forall a (t :: * -> *) (m :: * -> *). + (Monad m, P.Foldable t) => + t (m a) -> m () + show :: forall a. Show a => a -> String + showChar :: Char -> ShowS + showList :: forall a. Show a => [a] -> ShowS + showParen :: Bool -> ShowS -> ShowS + showString :: String -> ShowS + shows :: forall a. Show a => a -> ShowS + showsPrec :: forall a. Show a => Int -> a -> ShowS + significand :: forall a. RealFloat a => a -> a + signum :: forall a. Num a => a -> a + sin :: forall a. Floating a => a -> a + sinh :: forall a. Floating a => a -> a + snd :: forall a b. (a, b) -> b + span :: forall a. (a -> Bool) -> [a] -> ([a], [a]) + splitAt :: forall a. Int -> [a] -> ([a], [a]) + sqrt :: forall a. Floating a => a -> a + subtract :: forall a. Num a => a -> a -> a + succ :: forall a. Enum a => a -> a + sum :: forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a + tail :: forall a. [a] -> [a] + take :: forall a. Int -> [a] -> [a] + takeWhile :: forall a. (a -> Bool) -> [a] -> [a] + tan :: forall a. Floating a => a -> a + tanh :: forall a. Floating a => a -> a + toEnum :: forall a. Enum a => Int -> a + toInteger :: forall a. Integral a => a -> Integer + toRational :: forall a. Real a => a -> Rational + truncate :: forall b a. (Integral b, RealFrac a) => a -> b + uncurry :: forall c b a. (a -> b -> c) -> (a, b) -> c + undefined :: forall w. w + unlines :: [String] -> String + until :: forall a. (a -> Bool) -> (a -> a) -> a -> a + unwords :: [String] -> String + unzip :: forall b a. [(a, b)] -> ([a], [b]) + unzip3 :: forall c b a. [(a, b, c)] -> ([a], [b], [c]) + userError :: String -> IOError + words :: String -> [String] + writeFile :: FilePath -> String -> IO () + zip :: forall b a. [a] -> [b] -> [(a, b)] + zip3 :: forall c b a. [a] -> [b] -> [c] -> [(a, b, c)] + zipWith :: forall c b a. (a -> b -> c) -> [a] -> [b] -> [c] + zipWith3 :: + forall d c b a. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d] + || :: Bool -> Bool -> Bool +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr b/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr index 1eb9c96242..7a74324ade 100644 --- a/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr @@ -1,17 +1,17 @@ -TYPE SIGNATURES
- isMeltdown :: forall param1 param2. NukeMonad param1 param2 Bool
- unlessMeltdown ::
- forall param2 param1.
- NukeMonad param1 param2 () -> NukeMonad param1 param2 ()
-TYPE CONSTRUCTORS
- type role NukeMonad phantom phantom phantom
- data NukeMonad a b c
-COERCION AXIOMS
-INSTANCES
- instance Functor (NukeMonad a b) -- Defined at Meltdown.hs:8:10
- instance Applicative (NukeMonad a b)
- -- Defined at Meltdown.hs:11:10
- instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + isMeltdown :: forall param1 param2. NukeMonad param1 param2 Bool + unlessMeltdown :: + forall param2 param1. + NukeMonad param1 param2 () -> NukeMonad param1 param2 () +TYPE CONSTRUCTORS + type role NukeMonad phantom phantom phantom + data NukeMonad a b c +COERCION AXIOMS +INSTANCES + instance Functor (NukeMonad a b) -- Defined at Meltdown.hs:8:10 + instance Applicative (NukeMonad a b) + -- Defined at Meltdown.hs:11:10 + instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10 +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr b/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr index 93b3dca490..e7a5205902 100644 --- a/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr +++ b/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- foo :: forall b a. (a, b) -> (a, b)
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + foo :: forall b a. (a, b) -> (a, b) +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr b/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr index 1adc0b055c..55c4e2dc13 100644 --- a/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- bar :: forall w. w -> Bool
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + bar :: forall w. w -> Bool +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr b/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr index efb0eb888e..5a992cd82f 100644 --- a/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr @@ -1,13 +1,13 @@ -TYPE SIGNATURES
- SkipMany.GenParser ::
- forall tok st a. tok -> st -> a -> GenParser tok st a
- skipMany ::
- forall a st tok. GenParser tok st a -> GenParser tok st ()
- skipMany' ::
- forall tok st a. GenParser tok st a -> GenParser tok st ()
-TYPE CONSTRUCTORS
- data GenParser tok st a = GenParser tok st a
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + SkipMany.GenParser :: + forall tok st a. tok -> st -> a -> GenParser tok st a + skipMany :: + forall a st tok. GenParser tok st a -> GenParser tok st () + skipMany' :: + forall tok st a. GenParser tok st a -> GenParser tok st () +TYPE CONSTRUCTORS + data GenParser tok st a = GenParser tok st a +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr b/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr index 2c84971275..fc12b71b6b 100644 --- a/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr @@ -1,79 +1,79 @@ -[1 of 2] Compiling Splices ( Splices.hs, Splices.o )
-[2 of 2] Compiling SplicesUsed ( SplicesUsed.hs, SplicesUsed.o )
-
-SplicesUsed.hs:7:16: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Maybe Bool’
- • In the type signature: maybeBool :: _
-
-SplicesUsed.hs:8:15: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_a’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of <expression> :: w -> w
- at SplicesUsed.hs:8:15-22
- • In an expression type signature: _a -> _a
- In the expression: id :: _a -> _a
- In the expression: (id :: _a -> _a) (Just True :: Maybe _)
- • Relevant bindings include
- maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
-
-SplicesUsed.hs:8:27: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Bool’
- • In an expression type signature: Maybe _
- In the first argument of ‘id :: _a -> _a’, namely
- ‘(Just True :: Maybe _)’
- In the expression: (id :: _a -> _a) (Just True :: Maybe _)
- • Relevant bindings include
- maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
-
-SplicesUsed.hs:10:17: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘(Char, a)’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of charA :: a -> (Char, a)
- at SplicesUsed.hs:11:1-18
- • In the type signature: charA :: a -> (_)
-
-SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘a -> Bool’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
- at SplicesUsed.hs:14:1-16
- • In the type signature: filter' :: _ -> _ -> _
-
-SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘[a]’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
- at SplicesUsed.hs:14:1-16
- • In the type signature: filter' :: _ -> _ -> _
-
-SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘[a]’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
- at SplicesUsed.hs:14:1-16
- • In the type signature: filter' :: _ -> _ -> _
-
-SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Eq a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of foo :: Eq a => a -> a -> Bool
- at SplicesUsed.hs:16:3-10
- • In the type signature: foo :: _ => _
-
-SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘a -> a -> Bool’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of foo :: Eq a => a -> a -> Bool
- at SplicesUsed.hs:16:3-10
- • In the type signature: foo :: _ => _
-
-SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_a’ standing for ‘Bool’
- • In the type signature: bar :: _a -> _b -> (_a, _b)
-
-SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_b’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: Bool -> w -> (Bool, w)
- at SplicesUsed.hs:18:3-10
- • In the type signature: bar :: _a -> _b -> (_a, _b)
+[1 of 2] Compiling Splices ( Splices.hs, Splices.o ) +[2 of 2] Compiling SplicesUsed ( SplicesUsed.hs, SplicesUsed.o ) + +SplicesUsed.hs:7:16: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Maybe Bool’ + • In the type signature: maybeBool :: _ + +SplicesUsed.hs:8:15: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_a’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of <expression> :: w -> w + at SplicesUsed.hs:8:15-22 + • In an expression type signature: _a -> _a + In the expression: id :: _a -> _a + In the expression: (id :: _a -> _a) (Just True :: Maybe _) + • Relevant bindings include + maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1) + +SplicesUsed.hs:8:27: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Bool’ + • In an expression type signature: Maybe _ + In the first argument of ‘id :: _a -> _a’, namely + ‘(Just True :: Maybe _)’ + In the expression: (id :: _a -> _a) (Just True :: Maybe _) + • Relevant bindings include + maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1) + +SplicesUsed.hs:10:17: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘(Char, a)’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of charA :: a -> (Char, a) + at SplicesUsed.hs:11:1-18 + • In the type signature: charA :: a -> (_) + +SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘a -> Bool’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of filter' :: (a -> Bool) -> [a] -> [a] + at SplicesUsed.hs:14:1-16 + • In the type signature: filter' :: _ -> _ -> _ + +SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘[a]’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of filter' :: (a -> Bool) -> [a] -> [a] + at SplicesUsed.hs:14:1-16 + • In the type signature: filter' :: _ -> _ -> _ + +SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘[a]’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of filter' :: (a -> Bool) -> [a] -> [a] + at SplicesUsed.hs:14:1-16 + • In the type signature: filter' :: _ -> _ -> _ + +SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Eq a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of foo :: Eq a => a -> a -> Bool + at SplicesUsed.hs:16:3-10 + • In the type signature: foo :: _ => _ + +SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘a -> a -> Bool’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of foo :: Eq a => a -> a -> Bool + at SplicesUsed.hs:16:3-10 + • In the type signature: foo :: _ => _ + +SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_a’ standing for ‘Bool’ + • In the type signature: bar :: _a -> _b -> (_a, _b) + +SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_b’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: Bool -> w -> (Bool, w) + at SplicesUsed.hs:18:3-10 + • In the type signature: bar :: _a -> _b -> (_a, _b) diff --git a/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr b/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr index 7811dcb854..01651a4136 100644 --- a/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr @@ -1,4 +1,4 @@ -
-SuperCls.hs:4:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘() :: Constraint’
- • In the type signature: f :: (Ord a, _) => a -> Bool
+ +SuperCls.hs:4:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘() :: Constraint’ + • In the type signature: f :: (Ord a, _) => a -> Bool diff --git a/testsuite/tests/partial-sigs/should_compile/T10438.stderr b/testsuite/tests/partial-sigs/should_compile/T10438.stderr index a3fc19f7aa..ebf2a759b7 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10438.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10438.stderr @@ -1,26 +1,26 @@ -
-T10438.hs:7:22: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘t2’
- Where: ‘t2’ is a rigid type variable bound by
- the inferred type of g :: t2 -> t2 at T10438.hs:(6,9)-(8,21)
- • In the type signature: x :: _
- In an equation for ‘g’:
- g r
- = x
- where
- x :: _
- x = r
- In an equation for ‘foo’:
- foo f
- = g
- where
- g r
- = x
- where
- x :: _
- x = r
- • Relevant bindings include
- r :: t2 (bound at T10438.hs:6:11)
- g :: t2 -> t2 (bound at T10438.hs:6:9)
- f :: t1 (bound at T10438.hs:5:5)
- foo :: t1 -> forall t. t -> t (bound at T10438.hs:5:1)
+ +T10438.hs:7:22: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘t2’ + Where: ‘t2’ is a rigid type variable bound by + the inferred type of g :: t2 -> t2 at T10438.hs:(6,9)-(8,21) + • In the type signature: x :: _ + In an equation for ‘g’: + g r + = x + where + x :: _ + x = r + In an equation for ‘foo’: + foo f + = g + where + g r + = x + where + x :: _ + x = r + • Relevant bindings include + r :: t2 (bound at T10438.hs:6:11) + g :: t2 -> t2 (bound at T10438.hs:6:9) + f :: t1 (bound at T10438.hs:5:5) + foo :: t1 -> forall t. t -> t (bound at T10438.hs:5:1) diff --git a/testsuite/tests/partial-sigs/should_compile/T10519.stderr b/testsuite/tests/partial-sigs/should_compile/T10519.stderr index 496867bd04..f57144dcd1 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10519.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10519.stderr @@ -1,7 +1,7 @@ -
-T10519.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Eq a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of foo :: Eq a => a -> a -> Bool
- at T10519.hs:6:1-16
- • In the type signature: foo :: forall a. _ => a -> a -> Bool
+ +T10519.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Eq a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of foo :: Eq a => a -> a -> Bool + at T10519.hs:6:1-16 + • In the type signature: foo :: forall a. _ => a -> a -> Bool diff --git a/testsuite/tests/partial-sigs/should_compile/T11016.stderr b/testsuite/tests/partial-sigs/should_compile/T11016.stderr index faf2124b25..343deabe86 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11016.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11016.stderr @@ -1,8 +1,8 @@ -
-T11016.hs:5:19: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘() :: Constraint’
- • In the type signature: f1 :: (?x :: Int, _) => Int
-
-T11016.hs:8:22: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Int’
- • In the type signature: f2 :: (?x :: Int) => _
+ +T11016.hs:5:19: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘() :: Constraint’ + • In the type signature: f1 :: (?x :: Int, _) => Int + +T11016.hs:8:22: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Int’ + • In the type signature: f2 :: (?x :: Int) => _ diff --git a/testsuite/tests/partial-sigs/should_compile/T11339a.stderr b/testsuite/tests/partial-sigs/should_compile/T11339a.stderr index 76d15ff356..af8d47d4b6 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11339a.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11339a.stderr @@ -1,6 +1,6 @@ -
-T11339a.hs:5:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘a -> a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of bar :: a -> a at T11339a.hs:6:1-10
- • In the type signature: bar :: _
+ +T11339a.hs:5:8: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘a -> a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of bar :: a -> a at T11339a.hs:6:1-10 + • In the type signature: bar :: _ diff --git a/testsuite/tests/partial-sigs/should_compile/T11670.stderr b/testsuite/tests/partial-sigs/should_compile/T11670.stderr index eaa304ca42..04d6af5450 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11670.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11670.stderr @@ -1,36 +1,36 @@ -
-T11670.hs:10:42: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘CLong’
- • In an expression type signature: IO _
- In the expression: peekElemOff undefined 0 :: IO _
- In an equation for ‘T11670.peek’:
- T11670.peek ptr = peekElemOff undefined 0 :: IO _
- • Relevant bindings include
- ptr :: Ptr a (bound at T11670.hs:10:6)
- peek :: Ptr a -> IO CLong (bound at T11670.hs:10:1)
-
-T11670.hs:13:40: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Storable w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of <expression> :: Storable w => IO w
- at T11670.hs:13:40-48
- • In an expression type signature: _ => IO _
- In the expression: peekElemOff undefined 0 :: _ => IO _
- In an equation for ‘peek2’:
- peek2 ptr = peekElemOff undefined 0 :: _ => IO _
- • Relevant bindings include
- ptr :: Ptr a (bound at T11670.hs:13:7)
- peek2 :: Ptr a -> IO CLong (bound at T11670.hs:13:1)
-
-T11670.hs:13:48: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of <expression> :: Storable w => IO w
- at T11670.hs:13:40-48
- • In an expression type signature: _ => IO _
- In the expression: peekElemOff undefined 0 :: _ => IO _
- In an equation for ‘peek2’:
- peek2 ptr = peekElemOff undefined 0 :: _ => IO _
- • Relevant bindings include
- ptr :: Ptr a (bound at T11670.hs:13:7)
- peek2 :: Ptr a -> IO CLong (bound at T11670.hs:13:1)
+ +T11670.hs:10:42: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘CLong’ + • In an expression type signature: IO _ + In the expression: peekElemOff undefined 0 :: IO _ + In an equation for ‘T11670.peek’: + T11670.peek ptr = peekElemOff undefined 0 :: IO _ + • Relevant bindings include + ptr :: Ptr a (bound at T11670.hs:10:6) + peek :: Ptr a -> IO CLong (bound at T11670.hs:10:1) + +T11670.hs:13:40: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Storable w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of <expression> :: Storable w => IO w + at T11670.hs:13:40-48 + • In an expression type signature: _ => IO _ + In the expression: peekElemOff undefined 0 :: _ => IO _ + In an equation for ‘peek2’: + peek2 ptr = peekElemOff undefined 0 :: _ => IO _ + • Relevant bindings include + ptr :: Ptr a (bound at T11670.hs:13:7) + peek2 :: Ptr a -> IO CLong (bound at T11670.hs:13:1) + +T11670.hs:13:48: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of <expression> :: Storable w => IO w + at T11670.hs:13:40-48 + • In an expression type signature: _ => IO _ + In the expression: peekElemOff undefined 0 :: _ => IO _ + In an equation for ‘peek2’: + peek2 ptr = peekElemOff undefined 0 :: _ => IO _ + • Relevant bindings include + ptr :: Ptr a (bound at T11670.hs:13:7) + peek2 :: Ptr a -> IO CLong (bound at T11670.hs:13:1) diff --git a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr index bd9ac50bd7..ce7372f061 100644 --- a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- unc :: forall w w1 w2. (w2 -> w1 -> w) -> (w2, w1) -> w
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + unc :: forall w w1 w2. (w2 -> w1 -> w) -> (w2, w1) -> w +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr b/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr index b73f5669a0..17ca5bebe6 100644 --- a/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr @@ -1,7 +1,7 @@ -TYPE SIGNATURES
- unc :: forall w b a. (a -> b -> w) -> (a, b) -> w
-TYPE CONSTRUCTORS
-COERCION AXIOMS
-Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
- integer-gmp-1.0.0.1]
+TYPE SIGNATURES + unc :: forall w b a. (a -> b -> w) -> (a, b) -> w +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, + integer-gmp-1.0.0.1] diff --git a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr index 98fd37770b..59c6755547 100644 --- a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr +++ b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr @@ -1,4 +1,4 @@ -
-Defaulting1MROff.hs:7:10: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Integer’
- • In the type signature: alpha :: _
+ +Defaulting1MROff.hs:7:10: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Integer’ + • In the type signature: alpha :: _ diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr index b634ec4eb7..6978418c46 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr @@ -1,32 +1,32 @@ -
-ExtraConstraintsWildcardInExpressionSignature.hs:5:20: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Eq a1’
- Where: ‘a1’ is a rigid type variable bound by
- the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool
- at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25
- • In an expression type signature: _ => _
- In the expression: (==) :: _ => _
- In the expression: ((==) :: _ => _) x y
- • Relevant bindings include
- y :: a
- (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7)
- x :: a
- (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5)
- foo :: a -> a -> Bool
- (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1)
-
-ExtraConstraintsWildcardInExpressionSignature.hs:5:25: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘a1 -> a1 -> Bool’
- Where: ‘a1’ is a rigid type variable bound by
- the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool
- at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25
- • In an expression type signature: _ => _
- In the expression: (==) :: _ => _
- In the expression: ((==) :: _ => _) x y
- • Relevant bindings include
- y :: a
- (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7)
- x :: a
- (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5)
- foo :: a -> a -> Bool
- (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1)
+ +ExtraConstraintsWildcardInExpressionSignature.hs:5:20: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Eq a1’ + Where: ‘a1’ is a rigid type variable bound by + the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool + at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25 + • In an expression type signature: _ => _ + In the expression: (==) :: _ => _ + In the expression: ((==) :: _ => _) x y + • Relevant bindings include + y :: a + (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7) + x :: a + (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5) + foo :: a -> a -> Bool + (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1) + +ExtraConstraintsWildcardInExpressionSignature.hs:5:25: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘a1 -> a1 -> Bool’ + Where: ‘a1’ is a rigid type variable bound by + the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool + at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25 + • In an expression type signature: _ => _ + In the expression: (==) :: _ => _ + In the expression: ((==) :: _ => _) x y + • Relevant bindings include + y :: a + (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7) + x :: a + (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5) + foo :: a -> a -> Bool + (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1) diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr index 0790605837..e6c2780537 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr @@ -1,8 +1,8 @@ -
-ExtraConstraintsWildcardNotEnabled.hs:4:10: error:
- • Found type wildcard ‘_’ standing for ‘Show a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of show' :: Show a => a -> String
- at ExtraConstraintsWildcardNotEnabled.hs:5:1-16
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: show' :: _ => a -> String
+ +ExtraConstraintsWildcardNotEnabled.hs:4:10: error: + • Found type wildcard ‘_’ standing for ‘Show a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of show' :: Show a => a -> String + at ExtraConstraintsWildcardNotEnabled.hs:5:1-16 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: show' :: _ => a -> String diff --git a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr index ed33f25d47..69207b1af1 100644 --- a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr +++ b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr @@ -1,16 +1,16 @@ -
-InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
- • Found type wildcard ‘_a’ standing for ‘b’
- Where: ‘b’ is a rigid type variable bound by
- the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
- at InstantiatedNamedWildcardsInConstraints.hs:5:1-26
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)
-
-InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
- • Found type wildcard ‘_’ standing for ‘Show b’
- Where: ‘b’ is a rigid type variable bound by
- the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
- at InstantiatedNamedWildcardsInConstraints.hs:5:1-26
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)
+ +InstantiatedNamedWildcardsInConstraints.hs:4:14: error: + • Found type wildcard ‘_a’ standing for ‘b’ + Where: ‘b’ is a rigid type variable bound by + the inferred type of foo :: (Enum b, Show b) => b -> (String, b) + at InstantiatedNamedWildcardsInConstraints.hs:5:1-26 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: foo :: (Enum _a, _) => _a -> (String, b) + +InstantiatedNamedWildcardsInConstraints.hs:4:18: error: + • Found type wildcard ‘_’ standing for ‘Show b’ + Where: ‘b’ is a rigid type variable bound by + the inferred type of foo :: (Enum b, Show b) => b -> (String, b) + at InstantiatedNamedWildcardsInConstraints.hs:5:1-26 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: foo :: (Enum _a, _) => _a -> (String, b) diff --git a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr index 0019ec85da..43ba8ccce7 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr @@ -1,11 +1,11 @@ -
-NamedExtraConstraintsWildcard.hs:5:1: error:
- • Could not deduce: w0
- from the context: (Eq a, w)
- bound by the inferred type for ‘foo’:
- (Eq a, w) => a -> a
- at NamedExtraConstraintsWildcard.hs:5:1-15
- • 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 (w :: Constraint) a. (Eq a, w) => a -> a
+ +NamedExtraConstraintsWildcard.hs:5:1: error: + • Could not deduce: w0 + from the context: (Eq a, w) + bound by the inferred type for ‘foo’: + (Eq a, w) => a -> a + at NamedExtraConstraintsWildcard.hs:5:1-15 + • 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 (w :: Constraint) a. (Eq a, w) => a -> a diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr index d401382141..2bae8abddb 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr @@ -1,41 +1,41 @@ -
-NamedWildcardExplicitForall.hs:8:7: error:
- • Couldn't match type ‘_a’ with ‘Bool’
- ‘_a’ is a rigid type variable bound by
- the type signature for:
- foo :: forall _a. _a -> _a
- at NamedWildcardExplicitForall.hs:7:1-27
- Expected type: _a -> _a
- Actual type: Bool -> Bool
- • In the expression: not
- In an equation for ‘foo’: foo = not
- • Relevant bindings include
- foo :: _a -> _a (bound at NamedWildcardExplicitForall.hs:8:1)
-
-NamedWildcardExplicitForall.hs:10:8: error:
- • Found type wildcard ‘_a’ standing for ‘Bool’
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: bar :: _a -> _a
-
-NamedWildcardExplicitForall.hs:13:26: error:
- • Found type wildcard ‘_b’ standing for ‘Bool’
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: baz :: forall _a. _a -> _b -> (_a, _b)
-
-NamedWildcardExplicitForall.hs:14:16: error:
- • Couldn't match expected type ‘Bool’ with actual type ‘_a’
- ‘_a’ is a rigid type variable bound by
- the inferred type of baz :: _a -> Bool -> (_a, Bool)
- at NamedWildcardExplicitForall.hs:14:1-24
- • In the first argument of ‘not’, namely ‘x’
- In the expression: not x
- In the expression: (not x, not y)
- • Relevant bindings include
- x :: _a (bound at NamedWildcardExplicitForall.hs:14:5)
- baz :: _a -> Bool -> (_a, Bool)
- (bound at NamedWildcardExplicitForall.hs:14:1)
-
-NamedWildcardExplicitForall.hs:16:8: error:
- • Found type wildcard ‘_a’ standing for ‘Bool’
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: qux :: _a -> (forall _a. _a -> _a) -> _a
+ +NamedWildcardExplicitForall.hs:8:7: error: + • Couldn't match type ‘_a’ with ‘Bool’ + ‘_a’ is a rigid type variable bound by + the type signature for: + foo :: forall _a. _a -> _a + at NamedWildcardExplicitForall.hs:7:1-27 + Expected type: _a -> _a + Actual type: Bool -> Bool + • In the expression: not + In an equation for ‘foo’: foo = not + • Relevant bindings include + foo :: _a -> _a (bound at NamedWildcardExplicitForall.hs:8:1) + +NamedWildcardExplicitForall.hs:10:8: error: + • Found type wildcard ‘_a’ standing for ‘Bool’ + To use the inferred type, enable PartialTypeSignatures + • In the type signature: bar :: _a -> _a + +NamedWildcardExplicitForall.hs:13:26: error: + • Found type wildcard ‘_b’ standing for ‘Bool’ + To use the inferred type, enable PartialTypeSignatures + • In the type signature: baz :: forall _a. _a -> _b -> (_a, _b) + +NamedWildcardExplicitForall.hs:14:16: error: + • Couldn't match expected type ‘Bool’ with actual type ‘_a’ + ‘_a’ is a rigid type variable bound by + the inferred type of baz :: _a -> Bool -> (_a, Bool) + at NamedWildcardExplicitForall.hs:14:1-24 + • In the first argument of ‘not’, namely ‘x’ + In the expression: not x + In the expression: (not x, not y) + • Relevant bindings include + x :: _a (bound at NamedWildcardExplicitForall.hs:14:5) + baz :: _a -> Bool -> (_a, Bool) + (bound at NamedWildcardExplicitForall.hs:14:1) + +NamedWildcardExplicitForall.hs:16:8: error: + • Found type wildcard ‘_a’ standing for ‘Bool’ + To use the inferred type, enable PartialTypeSignatures + • In the type signature: qux :: _a -> (forall _a. _a -> _a) -> _a diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr index 34bf595a7f..409ed511f0 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr @@ -1,10 +1,10 @@ -
-NamedWildcardsEnabled.hs:4:8: error:
- • Found type wildcard ‘_a’ standing for ‘Bool’
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: foo :: _a -> _b
-
-NamedWildcardsEnabled.hs:4:14: error:
- • Found type wildcard ‘_b’ standing for ‘Bool’
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: foo :: _a -> _b
+ +NamedWildcardsEnabled.hs:4:8: error: + • Found type wildcard ‘_a’ standing for ‘Bool’ + To use the inferred type, enable PartialTypeSignatures + • In the type signature: foo :: _a -> _b + +NamedWildcardsEnabled.hs:4:14: error: + • Found type wildcard ‘_b’ standing for ‘Bool’ + To use the inferred type, enable PartialTypeSignatures + • In the type signature: foo :: _a -> _b diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr index baaaf010d7..bddc470060 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr @@ -1,24 +1,24 @@ -
-NamedWildcardsNotEnabled.hs:4:9: error:
- • Couldn't match expected type ‘_b’ with actual type ‘Bool’
- ‘_b’ is a rigid type variable bound by
- the type signature for:
- foo :: forall _a _b. _a -> _b
- at NamedWildcardsNotEnabled.hs:3:1-15
- • In the expression: not x
- In an equation for ‘foo’: foo x = not x
- • Relevant bindings include
- foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)
-
-NamedWildcardsNotEnabled.hs:4:13: error:
- • Couldn't match expected type ‘Bool’ with actual type ‘_a’
- ‘_a’ is a rigid type variable bound by
- the type signature for:
- foo :: forall _a _b. _a -> _b
- at NamedWildcardsNotEnabled.hs:3:1-15
- • In the first argument of ‘not’, namely ‘x’
- In the expression: not x
- In an equation for ‘foo’: foo x = not x
- • Relevant bindings include
- x :: _a (bound at NamedWildcardsNotEnabled.hs:4:5)
- foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)
+ +NamedWildcardsNotEnabled.hs:4:9: error: + • Couldn't match expected type ‘_b’ with actual type ‘Bool’ + ‘_b’ is a rigid type variable bound by + the type signature for: + foo :: forall _a _b. _a -> _b + at NamedWildcardsNotEnabled.hs:3:1-15 + • In the expression: not x + In an equation for ‘foo’: foo x = not x + • Relevant bindings include + foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1) + +NamedWildcardsNotEnabled.hs:4:13: error: + • Couldn't match expected type ‘Bool’ with actual type ‘_a’ + ‘_a’ is a rigid type variable bound by + the type signature for: + foo :: forall _a _b. _a -> _b + at NamedWildcardsNotEnabled.hs:3:1-15 + • In the first argument of ‘not’, namely ‘x’ + In the expression: not x + In an equation for ‘foo’: foo x = not x + • Relevant bindings include + x :: _a (bound at NamedWildcardsNotEnabled.hs:4:5) + foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1) diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr index 20176895eb..0f21053621 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr @@ -1,12 +1,12 @@ -
-NamedWildcardsNotInMonotype.hs:5:1: error:
- • Could not deduce (Eq w0)
- from the context: (Show a, Eq w, Eq a)
- bound by the inferred type for ‘foo’:
- (Show a, Eq w, Eq a) => a -> a -> String
- at NamedWildcardsNotInMonotype.hs:5:1-33
- The type variable ‘w0’ 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 w a. (Show a, Eq w, Eq a) => a -> a -> String
+ +NamedWildcardsNotInMonotype.hs:5:1: error: + • Could not deduce (Eq w0) + from the context: (Show a, Eq w, Eq a) + bound by the inferred type for ‘foo’: + (Show a, Eq w, Eq a) => a -> a -> String + at NamedWildcardsNotInMonotype.hs:5:1-33 + The type variable ‘w0’ 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 w a. (Show a, Eq w, Eq a) => a -> a -> String diff --git a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr index 91a8dbe7fd..8e20d3fe98 100644 --- a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr @@ -1,10 +1,10 @@ -
-PartialTypeSignaturesDisabled.hs:4:8: error:
- • Found type wildcard ‘_’ standing for ‘Bool’
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: foo :: _ -> _
-
-PartialTypeSignaturesDisabled.hs:4:13: error:
- • Found type wildcard ‘_’ standing for ‘Bool’
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: foo :: _ -> _
+ +PartialTypeSignaturesDisabled.hs:4:8: error: + • Found type wildcard ‘_’ standing for ‘Bool’ + To use the inferred type, enable PartialTypeSignatures + • In the type signature: foo :: _ -> _ + +PartialTypeSignaturesDisabled.hs:4:13: error: + • Found type wildcard ‘_’ standing for ‘Bool’ + To use the inferred type, enable PartialTypeSignatures + • In the type signature: foo :: _ -> _ diff --git a/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr b/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr index c04cfa2315..f20ae3c563 100644 --- a/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr +++ b/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr @@ -1,9 +1,9 @@ -
-PatBind3.hs:6:12: error:
- • Couldn't match type ‘(Bool, w)’ with ‘Char’
- Expected type: Maybe ((Bool, w) -> Char)
- Actual type: Maybe ((Bool, w) -> (Bool, w))
- • In the expression: Just id
- In a pattern binding: Just foo = Just id
- • Relevant bindings include
- foo :: (Bool, w) -> Char (bound at PatBind3.hs:6:6)
+ +PatBind3.hs:6:12: error: + • Couldn't match type ‘(Bool, w)’ with ‘Char’ + Expected type: Maybe ((Bool, w) -> Char) + Actual type: Maybe ((Bool, w) -> (Bool, w)) + • In the expression: Just id + In a pattern binding: Just foo = Just id + • Relevant bindings include + foo :: (Bool, w) -> Char (bound at PatBind3.hs:6:6) diff --git a/testsuite/tests/partial-sigs/should_fail/T10615.stderr b/testsuite/tests/partial-sigs/should_fail/T10615.stderr index 9e46dd20d1..c17759a531 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10615.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10615.stderr @@ -1,32 +1,32 @@ -
-T10615.hs:4:7: error:
- • Found type wildcard ‘_’ standing for ‘a1’
- Where: ‘a1’ is an ambiguous type variable
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: f1 :: _ -> f
-
-T10615.hs:5:6: error:
- • Couldn't match type ‘f’ with ‘b1 -> a1’
- ‘f’ is a rigid type variable bound by
- the inferred type of f1 :: a1 -> f at T10615.hs:5:1-10
- Expected type: a1 -> f
- Actual type: a1 -> b1 -> a1
- • In the expression: const
- In an equation for ‘f1’: f1 = const
- • Relevant bindings include f1 :: a1 -> f (bound at T10615.hs:5:1)
-
-T10615.hs:7:7: error:
- • Found type wildcard ‘_’ standing for ‘a0’
- Where: ‘a0’ is an ambiguous type variable
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: f2 :: _ -> _f
-
-T10615.hs:8:6: error:
- • Couldn't match type ‘_f’ with ‘b0 -> a0’
- ‘_f’ is a rigid type variable bound by
- the inferred type of f2 :: a0 -> _f at T10615.hs:8:1-10
- Expected type: a0 -> _f
- Actual type: a0 -> b0 -> a0
- • In the expression: const
- In an equation for ‘f2’: f2 = const
- • Relevant bindings include f2 :: a0 -> _f (bound at T10615.hs:8:1)
+ +T10615.hs:4:7: error: + • Found type wildcard ‘_’ standing for ‘a1’ + Where: ‘a1’ is an ambiguous type variable + To use the inferred type, enable PartialTypeSignatures + • In the type signature: f1 :: _ -> f + +T10615.hs:5:6: error: + • Couldn't match type ‘f’ with ‘b1 -> a1’ + ‘f’ is a rigid type variable bound by + the inferred type of f1 :: a1 -> f at T10615.hs:5:1-10 + Expected type: a1 -> f + Actual type: a1 -> b1 -> a1 + • In the expression: const + In an equation for ‘f1’: f1 = const + • Relevant bindings include f1 :: a1 -> f (bound at T10615.hs:5:1) + +T10615.hs:7:7: error: + • Found type wildcard ‘_’ standing for ‘a0’ + Where: ‘a0’ is an ambiguous type variable + To use the inferred type, enable PartialTypeSignatures + • In the type signature: f2 :: _ -> _f + +T10615.hs:8:6: error: + • Couldn't match type ‘_f’ with ‘b0 -> a0’ + ‘_f’ is a rigid type variable bound by + the inferred type of f2 :: a0 -> _f at T10615.hs:8:1-10 + Expected type: a0 -> _f + Actual type: a0 -> b0 -> a0 + • In the expression: const + In an equation for ‘f2’: f2 = const + • Relevant bindings include f2 :: a0 -> _f (bound at T10615.hs:8:1) diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr index fff2bdeae9..582cf1a70e 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr @@ -1,34 +1,34 @@ -
-T10999.hs:5:6: error:
- • Found type wildcard ‘_’ standing for ‘Ord a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of f :: Ord a => () -> Set.Set a
- at T10999.hs:6:1-28
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: f :: _ => () -> _
-
-T10999.hs:5:17: error:
- • Found type wildcard ‘_’ standing for ‘Set.Set a’
- Where: ‘a’ is a rigid type variable bound by
- the inferred type of f :: Ord a => () -> Set.Set a
- at T10999.hs:6:1-28
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: f :: _ => () -> _
-
-T10999.hs:8:28: error:
- • Ambiguous type variable ‘b0’ arising from a use of ‘f’
- prevents the constraint ‘(Ord b0)’ from being solved.
- Relevant bindings include g :: [b0] (bound at T10999.hs:8:1)
- Probable fix: use a type annotation to specify what ‘b0’ should be.
- These potential instances exist:
- instance Ord a => Ord (Set.Set a)
- -- Defined in ‘containers-0.5.7.1:Data.Set.Base’
- instance Ord Ordering -- Defined in ‘GHC.Classes’
- instance Ord Integer
- -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’
- ...plus 23 others
- ...plus two instances involving out-of-scope types
- (use -fprint-potential-instances to see them all)
- • In the second argument of ‘($)’, namely ‘f ()’
- In the second argument of ‘($)’, namely ‘Set.toList $ f ()’
- In the expression: map fst $ Set.toList $ f ()
+ +T10999.hs:5:6: error: + • Found type wildcard ‘_’ standing for ‘Ord a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of f :: Ord a => () -> Set.Set a + at T10999.hs:6:1-28 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: f :: _ => () -> _ + +T10999.hs:5:17: error: + • Found type wildcard ‘_’ standing for ‘Set.Set a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of f :: Ord a => () -> Set.Set a + at T10999.hs:6:1-28 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: f :: _ => () -> _ + +T10999.hs:8:28: error: + • Ambiguous type variable ‘b0’ arising from a use of ‘f’ + prevents the constraint ‘(Ord b0)’ from being solved. + Relevant bindings include g :: [b0] (bound at T10999.hs:8:1) + Probable fix: use a type annotation to specify what ‘b0’ should be. + These potential instances exist: + instance Ord a => Ord (Set.Set a) + -- Defined in ‘containers-0.5.7.1:Data.Set.Base’ + instance Ord Ordering -- Defined in ‘GHC.Classes’ + instance Ord Integer + -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’ + ...plus 23 others + ...plus two instances involving out-of-scope types + (use -fprint-potential-instances to see them all) + • In the second argument of ‘($)’, namely ‘f ()’ + In the second argument of ‘($)’, namely ‘Set.toList $ f ()’ + In the expression: map fst $ Set.toList $ f () diff --git a/testsuite/tests/partial-sigs/should_fail/T11122.stderr b/testsuite/tests/partial-sigs/should_fail/T11122.stderr index 9216985a58..d308c4771d 100644 --- a/testsuite/tests/partial-sigs/should_fail/T11122.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T11122.stderr @@ -1,4 +1,4 @@ -
-T11122.hs:19:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘Int’
- • In the type signature: parser :: Parser _
+ +T11122.hs:19:18: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Int’ + • In the type signature: parser :: Parser _ diff --git a/testsuite/tests/partial-sigs/should_fail/T11976.stderr b/testsuite/tests/partial-sigs/should_fail/T11976.stderr index ac7319891e..7bfe11899e 100644 --- a/testsuite/tests/partial-sigs/should_fail/T11976.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T11976.stderr @@ -1,7 +1,7 @@ -
-T11976.hs:7:20: error:
- • Expecting one fewer arguments to ‘Lens w0 w1’
- Expected kind ‘k0 -> *’, but ‘Lens w0 w1’ has kind ‘*’
- • In the type ‘Lens _ _ _’
- In an expression type signature: Lens _ _ _
- In the expression: undefined :: Lens _ _ _
+ +T11976.hs:7:20: error: + • Expecting one fewer arguments to ‘Lens w0 w1’ + Expected kind ‘k0 -> *’, but ‘Lens w0 w1’ has kind ‘*’ + • In the type ‘Lens _ _ _’ + In an expression type signature: Lens _ _ _ + In the expression: undefined :: Lens _ _ _ diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr index 596abe1160..c90699048b 100644 --- a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr +++ b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr @@ -1,16 +1,16 @@ -
-TidyClash.hs:8:19: error:
- • Found type wildcard ‘_’ standing for ‘w1’
- Where: ‘w1’ is a rigid type variable bound by
- the inferred type of bar :: w_ -> (w_, w1 -> w)
- at TidyClash.hs:9:1-28
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: bar :: w_ -> (w_, _ -> _)
-
-TidyClash.hs:8:24: error:
- • Found type wildcard ‘_’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: w_ -> (w_, w1 -> w)
- at TidyClash.hs:9:1-28
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: bar :: w_ -> (w_, _ -> _)
+ +TidyClash.hs:8:19: error: + • Found type wildcard ‘_’ standing for ‘w1’ + Where: ‘w1’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_, w1 -> w) + at TidyClash.hs:9:1-28 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: bar :: w_ -> (w_, _ -> _) + +TidyClash.hs:8:24: error: + • Found type wildcard ‘_’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_, w1 -> w) + at TidyClash.hs:9:1-28 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: bar :: w_ -> (w_, _ -> _) diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr index 00c3874a4b..3488ffc3e2 100644 --- a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr @@ -1,53 +1,53 @@ -
-TidyClash2.hs:13:20: error:
- • Found type wildcard ‘_’ standing for ‘w1’
- Where: ‘w1’ is a rigid type variable bound by
- the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: barry :: forall t. _ -> _ -> t
-
-TidyClash2.hs:13:25: error:
- • Found type wildcard ‘_’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: barry :: forall t. _ -> _ -> t
-
-TidyClash2.hs:14:13: error:
- • Found type wildcard ‘_’ standing for ‘w1’
- Where: ‘w1’ is a rigid type variable bound by
- the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
- To use the inferred type, enable PartialTypeSignatures
- • In a pattern type signature: _
- In the pattern: x :: _
- In an equation for ‘barry’:
- barry (x :: _) (y :: _) = undefined :: _
- • Relevant bindings include
- barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)
-
-TidyClash2.hs:14:22: error:
- • Found type wildcard ‘_’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
- To use the inferred type, enable PartialTypeSignatures
- • In a pattern type signature: _
- In the pattern: y :: _
- In an equation for ‘barry’:
- barry (x :: _) (y :: _) = undefined :: _
- • Relevant bindings include
- x :: w1 (bound at TidyClash2.hs:14:8)
- barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)
-
-TidyClash2.hs:14:40: error:
- • Found type wildcard ‘_’ standing for ‘w2’
- Where: ‘w2’ is a rigid type variable bound by
- the inferred type of <expression> :: w2 at TidyClash2.hs:14:40
- To use the inferred type, enable PartialTypeSignatures
- • In an expression type signature: _
- In the expression: undefined :: _
- In an equation for ‘barry’:
- barry (x :: _) (y :: _) = undefined :: _
- • Relevant bindings include
- y :: w (bound at TidyClash2.hs:14:17)
- x :: w1 (bound at TidyClash2.hs:14:8)
- barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)
+ +TidyClash2.hs:13:20: error: + • Found type wildcard ‘_’ standing for ‘w1’ + Where: ‘w1’ is a rigid type variable bound by + the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: barry :: forall t. _ -> _ -> t + +TidyClash2.hs:13:25: error: + • Found type wildcard ‘_’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: barry :: forall t. _ -> _ -> t + +TidyClash2.hs:14:13: error: + • Found type wildcard ‘_’ standing for ‘w1’ + Where: ‘w1’ is a rigid type variable bound by + the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40 + To use the inferred type, enable PartialTypeSignatures + • In a pattern type signature: _ + In the pattern: x :: _ + In an equation for ‘barry’: + barry (x :: _) (y :: _) = undefined :: _ + • Relevant bindings include + barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1) + +TidyClash2.hs:14:22: error: + • Found type wildcard ‘_’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40 + To use the inferred type, enable PartialTypeSignatures + • In a pattern type signature: _ + In the pattern: y :: _ + In an equation for ‘barry’: + barry (x :: _) (y :: _) = undefined :: _ + • Relevant bindings include + x :: w1 (bound at TidyClash2.hs:14:8) + barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1) + +TidyClash2.hs:14:40: error: + • Found type wildcard ‘_’ standing for ‘w2’ + Where: ‘w2’ is a rigid type variable bound by + the inferred type of <expression> :: w2 at TidyClash2.hs:14:40 + To use the inferred type, enable PartialTypeSignatures + • In an expression type signature: _ + In the expression: undefined :: _ + In an equation for ‘barry’: + barry (x :: _) (y :: _) = undefined :: _ + • Relevant bindings include + y :: w (bound at TidyClash2.hs:14:17) + x :: w1 (bound at TidyClash2.hs:14:8) + barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1) diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr index 44879c9d4f..726b43898e 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr @@ -1,74 +1,74 @@ -
-WildcardsInPatternAndExprSig.hs:4:18: error:
- • Found type wildcard ‘_a’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: Maybe [w] -> w -> [w]
- at WildcardsInPatternAndExprSig.hs:4:1-68
- To use the inferred type, enable PartialTypeSignatures
- • In a pattern type signature: _a
- In the pattern: x :: _a
- In the pattern: [x :: _a]
- • Relevant bindings include
- bar :: Maybe [w] -> w -> [w]
- (bound at WildcardsInPatternAndExprSig.hs:4:1)
-
-WildcardsInPatternAndExprSig.hs:4:25: error:
- • Found type wildcard ‘_’ standing for ‘[w]’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: Maybe [w] -> w -> [w]
- at WildcardsInPatternAndExprSig.hs:4:1-68
- To use the inferred type, enable PartialTypeSignatures
- • In a pattern type signature: _
- In the pattern: [x :: _a] :: _
- In the pattern: Just ([x :: _a] :: _)
- • Relevant bindings include
- bar :: Maybe [w] -> w -> [w]
- (bound at WildcardsInPatternAndExprSig.hs:4:1)
-
-WildcardsInPatternAndExprSig.hs:4:38: error:
- • Found type wildcard ‘_b’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: Maybe [w] -> w -> [w]
- at WildcardsInPatternAndExprSig.hs:4:1-68
- To use the inferred type, enable PartialTypeSignatures
- • In a pattern type signature: Maybe [_b]
- In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]
- In an equation for ‘bar’:
- bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
- = [x, z] :: [_d]
- • Relevant bindings include
- bar :: Maybe [w] -> w -> [w]
- (bound at WildcardsInPatternAndExprSig.hs:4:1)
-
-WildcardsInPatternAndExprSig.hs:4:49: error:
- • Found type wildcard ‘_c’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: Maybe [w] -> w -> [w]
- at WildcardsInPatternAndExprSig.hs:4:1-68
- To use the inferred type, enable PartialTypeSignatures
- • In a pattern type signature: _c
- In the pattern: z :: _c
- In an equation for ‘bar’:
- bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
- = [x, z] :: [_d]
- • Relevant bindings include
- x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13)
- bar :: Maybe [w] -> w -> [w]
- (bound at WildcardsInPatternAndExprSig.hs:4:1)
-
-WildcardsInPatternAndExprSig.hs:4:66: error:
- • Found type wildcard ‘_d’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: Maybe [w] -> w -> [w]
- at WildcardsInPatternAndExprSig.hs:4:1-68
- To use the inferred type, enable PartialTypeSignatures
- • In an expression type signature: [_d]
- In the expression: [x, z] :: [_d]
- In an equation for ‘bar’:
- bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
- = [x, z] :: [_d]
- • Relevant bindings include
- z :: w (bound at WildcardsInPatternAndExprSig.hs:4:44)
- x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13)
- bar :: Maybe [w] -> w -> [w]
- (bound at WildcardsInPatternAndExprSig.hs:4:1)
+ +WildcardsInPatternAndExprSig.hs:4:18: error: + • Found type wildcard ‘_a’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: Maybe [w] -> w -> [w] + at WildcardsInPatternAndExprSig.hs:4:1-68 + To use the inferred type, enable PartialTypeSignatures + • In a pattern type signature: _a + In the pattern: x :: _a + In the pattern: [x :: _a] + • Relevant bindings include + bar :: Maybe [w] -> w -> [w] + (bound at WildcardsInPatternAndExprSig.hs:4:1) + +WildcardsInPatternAndExprSig.hs:4:25: error: + • Found type wildcard ‘_’ standing for ‘[w]’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: Maybe [w] -> w -> [w] + at WildcardsInPatternAndExprSig.hs:4:1-68 + To use the inferred type, enable PartialTypeSignatures + • In a pattern type signature: _ + In the pattern: [x :: _a] :: _ + In the pattern: Just ([x :: _a] :: _) + • Relevant bindings include + bar :: Maybe [w] -> w -> [w] + (bound at WildcardsInPatternAndExprSig.hs:4:1) + +WildcardsInPatternAndExprSig.hs:4:38: error: + • Found type wildcard ‘_b’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: Maybe [w] -> w -> [w] + at WildcardsInPatternAndExprSig.hs:4:1-68 + To use the inferred type, enable PartialTypeSignatures + • In a pattern type signature: Maybe [_b] + In the pattern: Just ([x :: _a] :: _) :: Maybe [_b] + In an equation for ‘bar’: + bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c) + = [x, z] :: [_d] + • Relevant bindings include + bar :: Maybe [w] -> w -> [w] + (bound at WildcardsInPatternAndExprSig.hs:4:1) + +WildcardsInPatternAndExprSig.hs:4:49: error: + • Found type wildcard ‘_c’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: Maybe [w] -> w -> [w] + at WildcardsInPatternAndExprSig.hs:4:1-68 + To use the inferred type, enable PartialTypeSignatures + • In a pattern type signature: _c + In the pattern: z :: _c + In an equation for ‘bar’: + bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c) + = [x, z] :: [_d] + • Relevant bindings include + x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13) + bar :: Maybe [w] -> w -> [w] + (bound at WildcardsInPatternAndExprSig.hs:4:1) + +WildcardsInPatternAndExprSig.hs:4:66: error: + • Found type wildcard ‘_d’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: Maybe [w] -> w -> [w] + at WildcardsInPatternAndExprSig.hs:4:1-68 + To use the inferred type, enable PartialTypeSignatures + • In an expression type signature: [_d] + In the expression: [x, z] :: [_d] + In an equation for ‘bar’: + bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c) + = [x, z] :: [_d] + • Relevant bindings include + z :: w (bound at WildcardsInPatternAndExprSig.hs:4:44) + x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13) + bar :: Maybe [w] -> w -> [w] + (bound at WildcardsInPatternAndExprSig.hs:4:1) diff --git a/testsuite/tests/polykinds/T10503.stderr b/testsuite/tests/polykinds/T10503.stderr index 8bfdc6bd6d..43cd62fd5f 100644 --- a/testsuite/tests/polykinds/T10503.stderr +++ b/testsuite/tests/polykinds/T10503.stderr @@ -1,16 +1,16 @@ -
-T10503.hs:8:6: error:
- • Could not deduce: k ~ *
- from the context: Proxy 'KProxy ~ Proxy 'KProxy
- bound by the type signature for:
- h :: Proxy 'KProxy ~ Proxy 'KProxy => r
- at T10503.hs:8:6-85
- ‘k’ is a rigid type variable bound by
- the type signature for:
- h :: forall k r. (Proxy 'KProxy ~ Proxy 'KProxy => r) -> r
- at T10503.hs:8:6-85
- • In the ambiguity check for ‘h’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the type signature:
- h :: forall r.
- (Proxy (KProxy :: KProxy k) ~ Proxy (KProxy :: KProxy *) => r) -> r
+ +T10503.hs:8:6: error: + • Could not deduce: k ~ * + from the context: Proxy 'KProxy ~ Proxy 'KProxy + bound by the type signature for: + h :: Proxy 'KProxy ~ Proxy 'KProxy => r + at T10503.hs:8:6-85 + ‘k’ is a rigid type variable bound by + the type signature for: + h :: forall k r. (Proxy 'KProxy ~ Proxy 'KProxy => r) -> r + at T10503.hs:8:6-85 + • In the ambiguity check for ‘h’ + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes + In the type signature: + h :: forall r. + (Proxy (KProxy :: KProxy k) ~ Proxy (KProxy :: KProxy *) => r) -> r diff --git a/testsuite/tests/polykinds/T11399.stderr b/testsuite/tests/polykinds/T11399.stderr index 4af1c57b75..48af87efc4 100644 --- a/testsuite/tests/polykinds/T11399.stderr +++ b/testsuite/tests/polykinds/T11399.stderr @@ -1,9 +1,9 @@ -
-T11399.hs:10:32: error:
- • Couldn't match kind ‘*’ with ‘GHC.Types.RuntimeRep’
- When matching kinds
- a :: * -> *
- TYPE :: GHC.Types.RuntimeRep -> *
- Expected kind ‘* -> *’, but ‘UhOh a’ has kind ‘a * -> *’
- • In the first argument of ‘Functor’, namely ‘UhOh a’
- In the instance declaration for ‘Functor (UhOh a)’
+ +T11399.hs:10:32: error: + • Couldn't match kind ‘*’ with ‘GHC.Types.RuntimeRep’ + When matching kinds + a :: * -> * + TYPE :: GHC.Types.RuntimeRep -> * + Expected kind ‘* -> *’, but ‘UhOh a’ has kind ‘a * -> *’ + • In the first argument of ‘Functor’, namely ‘UhOh a’ + In the instance declaration for ‘Functor (UhOh a)’ diff --git a/testsuite/tests/polykinds/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr index f3d42af8a0..be52e41d31 100644 --- a/testsuite/tests/polykinds/T7594.stderr +++ b/testsuite/tests/polykinds/T7594.stderr @@ -1,17 +1,17 @@ -
-T7594.hs:35:12: error:
- • Couldn't match type ‘b’ with ‘IO ()’
- ‘b’ is untouchable
- inside the constraints: (:&:) c0 Real a
- bound by a type expected by the context:
- (:&:) c0 Real a => a -> b
- at T7594.hs:35:8-19
- ‘b’ is a rigid type variable bound by
- the inferred type of bar2 :: b at T7594.hs:35:1-19
- Possible fix: add a type signature for ‘bar2’
- Expected type: a -> b
- Actual type: a -> IO ()
- • In the first argument of ‘app’, namely ‘print’
- In the expression: app print q2
- In an equation for ‘bar2’: bar2 = app print q2
- • Relevant bindings include bar2 :: b (bound at T7594.hs:35:1)
+ +T7594.hs:35:12: error: + • Couldn't match type ‘b’ with ‘IO ()’ + ‘b’ is untouchable + inside the constraints: (:&:) c0 Real a + bound by a type expected by the context: + (:&:) c0 Real a => a -> b + at T7594.hs:35:8-19 + ‘b’ is a rigid type variable bound by + the inferred type of bar2 :: b at T7594.hs:35:1-19 + Possible fix: add a type signature for ‘bar2’ + Expected type: a -> b + Actual type: a -> IO () + • In the first argument of ‘app’, namely ‘print’ + In the expression: app print q2 + In an equation for ‘bar2’: bar2 = app print q2 + • Relevant bindings include bar2 :: b (bound at T7594.hs:35:1) |