Error message wibbles, re partial type sigs
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 9 May 2016 12:52:18 +0000 (13:52 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 10 May 2016 08:34:24 +0000 (09:34 +0100)
I committed three patches involving partial type sigs that
are collectively responsible for these error message changes.
The are all just changes to numbering in the pretty-printer.

I didn't bother to partition them between patches -- sorry!

13 files changed:
testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr
testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr
testsuite/tests/partial-sigs/should_compile/Meltdown.stderr
testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr
testsuite/tests/partial-sigs/should_compile/SkipMany.stderr
testsuite/tests/partial-sigs/should_compile/Uncurry.stderr
testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr
testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr
testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr
testsuite/tests/partial-sigs/should_fail/TidyClash.stderr
testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr
testsuite/tests/typecheck/should_fail/tcfail198.stderr

index 83c22b6..4c9ecb3 100644 (file)
@@ -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\r
+  arbitCs1 :: forall a. (Eq a, Enum a, Show a) => a -> String\r
+  arbitCs2 :: forall a. (Show a, Enum a, Eq a) => a -> String\r
+  arbitCs3 :: forall a. (Show a, Enum a, Eq a) => a -> String\r
+  arbitCs4 :: forall a. (Eq a, Show a, Enum a) => a -> String\r
+  arbitCs5 :: forall a. (Eq a, Enum a, Show a) => a -> String\r
+TYPE CONSTRUCTORS\r
+COERCION AXIOMS\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
index 5893c7b..60de114 100644 (file)
-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 (m :: * -> *) b 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 (m :: * -> *) a. Monad m => m a -> m b -> m b
-  >>= ::
-    forall b (m :: * -> *) a. 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 c a b. ((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 (m :: * -> *) a. 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 a b. (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 (t :: * -> *) a. 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 :: * -> *) (m :: * -> *) b a.
-    (Monad m, P.Traversable t) =>
-    (a -> m b) -> t a -> m (t b)
-  mapM_ ::
-    forall (t :: * -> *) (m :: * -> *) b a.
-    (Monad m, P.Foldable t) =>
-    (a -> m b) -> t a -> m ()
-  max :: forall a. Ord a => a -> a -> a
-  maxBound :: forall t. Bounded t => t
-  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 t. Bounded t => t
-  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 (t :: * -> *) a. 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 t. Floating t => t
-  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 (t :: * -> *) (m :: * -> *) a.
-    (Monad m, P.Traversable t) =>
-    t (m a) -> m (t a)
-  sequence_ ::
-    forall (t :: * -> *) (m :: * -> *) a.
-    (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 t. t
-  unlines :: [String] -> String
-  until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
-  unwords :: [String] -> String
-  unzip :: forall a b. [(a, b)] -> ([a], [b])
-  unzip3 :: forall a b c. [(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\r
+  !! :: forall a. [a] -> Int -> a\r
+  $ :: forall b a. (a -> b) -> a -> b\r
+  $! :: forall b a. (a -> b) -> a -> b\r
+  && :: Bool -> Bool -> Bool\r
+  * :: forall a. Num a => a -> a -> a\r
+  ** :: forall a. Floating a => a -> a -> a\r
+  + :: forall a. Num a => a -> a -> a\r
+  ++ :: forall a. [a] -> [a] -> [a]\r
+  - :: forall a. Num a => a -> a -> a\r
+  . :: forall a c b. (b -> c) -> (a -> b) -> a -> c\r
+  / :: forall a. Fractional a => a -> a -> a\r
+  /= :: forall a. Eq a => a -> a -> Bool\r
+  < :: forall a. Ord a => a -> a -> Bool\r
+  <= :: forall a. Ord a => a -> a -> Bool\r
+  =<< ::\r
+    forall b (m :: * -> *) a. Monad m => (a -> m b) -> m a -> m b\r
+  == :: forall a. Eq a => a -> a -> Bool\r
+  > :: forall a. Ord a => a -> a -> Bool\r
+  >= :: forall a. Ord a => a -> a -> Bool\r
+  >> :: forall b a (m :: * -> *). Monad m => m a -> m b -> m b\r
+  >>= ::\r
+    forall b a (m :: * -> *). Monad m => m a -> (a -> m b) -> m b\r
+  ^ :: forall b a. (Num a, Integral b) => a -> b -> a\r
+  ^^ :: forall b a. (Integral b, Fractional a) => a -> b -> a\r
+  abs :: forall a. Num a => a -> a\r
+  acos :: forall a. Floating a => a -> a\r
+  acosh :: forall a. Floating a => a -> a\r
+  all ::\r
+    forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool\r
+  and :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool\r
+  any ::\r
+    forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool\r
+  appendFile :: FilePath -> String -> IO ()\r
+  asTypeOf :: forall a. a -> a -> a\r
+  asin :: forall a. Floating a => a -> a\r
+  asinh :: forall a. Floating a => a -> a\r
+  atan :: forall a. Floating a => a -> a\r
+  atan2 :: forall a. RealFloat a => a -> a -> a\r
+  atanh :: forall a. Floating a => a -> a\r
+  break :: forall a. (a -> Bool) -> [a] -> ([a], [a])\r
+  ceiling :: forall b a. (Integral b, RealFrac a) => a -> b\r
+  compare :: forall a. Ord a => a -> a -> Ordering\r
+  concat :: forall (t :: * -> *) a. P.Foldable t => t [a] -> [a]\r
+  concatMap ::\r
+    forall (t :: * -> *) b a. P.Foldable t => (a -> [b]) -> t a -> [b]\r
+  const :: forall b a. a -> b -> a\r
+  cos :: forall a. Floating a => a -> a\r
+  cosh :: forall a. Floating a => a -> a\r
+  curry :: forall b a c. ((a, b) -> c) -> a -> b -> c\r
+  cycle :: forall a. [a] -> [a]\r
+  decodeFloat :: forall a. RealFloat a => a -> (Integer, Int)\r
+  div :: forall a. Integral a => a -> a -> a\r
+  divMod :: forall a. Integral a => a -> a -> (a, a)\r
+  drop :: forall a. Int -> [a] -> [a]\r
+  dropWhile :: forall a. (a -> Bool) -> [a] -> [a]\r
+  either :: forall b c a. (a -> c) -> (b -> c) -> Either a b -> c\r
+  elem ::\r
+    forall (t :: * -> *) a. (Eq a, P.Foldable t) => a -> t a -> Bool\r
+  encodeFloat :: forall a. RealFloat a => Integer -> Int -> a\r
+  enumFrom :: forall a. Enum a => a -> [a]\r
+  enumFromThen :: forall a. Enum a => a -> a -> [a]\r
+  enumFromThenTo :: forall a. Enum a => a -> a -> a -> [a]\r
+  enumFromTo :: forall a. Enum a => a -> a -> [a]\r
+  error :: forall a. [Char] -> a\r
+  even :: forall a. Integral a => a -> Bool\r
+  exp :: forall a. Floating a => a -> a\r
+  exponent :: forall a. RealFloat a => a -> Int\r
+  fail :: forall a (m :: * -> *). Monad m => String -> m a\r
+  filter :: forall a. (a -> Bool) -> [a] -> [a]\r
+  flip :: forall c b a. (a -> b -> c) -> b -> a -> c\r
+  floatDigits :: forall a. RealFloat a => a -> Int\r
+  floatRadix :: forall a. RealFloat a => a -> Integer\r
+  floatRange :: forall a. RealFloat a => a -> (Int, Int)\r
+  floor :: forall b a. (Integral b, RealFrac a) => a -> b\r
+  fmap ::\r
+    forall (f :: * -> *) b a. Functor f => (a -> b) -> f a -> f b\r
+  foldl ::\r
+    forall (t :: * -> *) a b.\r
+    P.Foldable t =>\r
+    (b -> a -> b) -> b -> t a -> b\r
+  foldl1 ::\r
+    forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a\r
+  foldr ::\r
+    forall (t :: * -> *) b a.\r
+    P.Foldable t =>\r
+    (a -> b -> b) -> b -> t a -> b\r
+  foldr1 ::\r
+    forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a\r
+  fromEnum :: forall a. Enum a => a -> Int\r
+  fromInteger :: forall a. Num a => Integer -> a\r
+  fromIntegral :: forall b a. (Num b, Integral a) => a -> b\r
+  fromRational :: forall a. Fractional a => Rational -> a\r
+  fst :: forall b a. (a, b) -> a\r
+  gcd :: forall a. Integral a => a -> a -> a\r
+  getChar :: IO Char\r
+  getContents :: IO String\r
+  getLine :: IO String\r
+  head :: forall a. [a] -> a\r
+  id :: forall a. a -> a\r
+  init :: forall a. [a] -> [a]\r
+  interact :: (String -> String) -> IO ()\r
+  ioError :: forall a. IOError -> IO a\r
+  isDenormalized :: forall a. RealFloat a => a -> Bool\r
+  isIEEE :: forall a. RealFloat a => a -> Bool\r
+  isInfinite :: forall a. RealFloat a => a -> Bool\r
+  isNaN :: forall a. RealFloat a => a -> Bool\r
+  isNegativeZero :: forall a. RealFloat a => a -> Bool\r
+  iterate :: forall a. (a -> a) -> a -> [a]\r
+  last :: forall a. [a] -> a\r
+  lcm :: forall a. Integral a => a -> a -> a\r
+  length :: forall a (t :: * -> *). P.Foldable t => t a -> Int\r
+  lex :: ReadS String\r
+  lines :: String -> [String]\r
+  log :: forall a. Floating a => a -> a\r
+  logBase :: forall a. Floating a => a -> a -> a\r
+  lookup :: forall b a. Eq a => a -> [(a, b)] -> Maybe b\r
+  map :: forall b a. (a -> b) -> [a] -> [b]\r
+  mapM ::\r
+    forall (t :: * -> *) b (m :: * -> *) a.\r
+    (Monad m, P.Traversable t) =>\r
+    (a -> m b) -> t a -> m (t b)\r
+  mapM_ ::\r
+    forall (t :: * -> *) b (m :: * -> *) a.\r
+    (Monad m, P.Foldable t) =>\r
+    (a -> m b) -> t a -> m ()\r
+  max :: forall a. Ord a => a -> a -> a\r
+  maxBound :: forall t. Bounded t => t\r
+  maximum ::\r
+    forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a\r
+  maybe :: forall a b. b -> (a -> b) -> Maybe a -> b\r
+  min :: forall a. Ord a => a -> a -> a\r
+  minBound :: forall t. Bounded t => t\r
+  minimum ::\r
+    forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a\r
+  mod :: forall a. Integral a => a -> a -> a\r
+  negate :: forall a. Num a => a -> a\r
+  not :: Bool -> Bool\r
+  notElem ::\r
+    forall (t :: * -> *) a. (Eq a, P.Foldable t) => a -> t a -> Bool\r
+  null :: forall a (t :: * -> *). P.Foldable t => t a -> Bool\r
+  odd :: forall a. Integral a => a -> Bool\r
+  or :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool\r
+  otherwise :: Bool\r
+  pi :: forall t. Floating t => t\r
+  pred :: forall a. Enum a => a -> a\r
+  print :: forall a. Show a => a -> IO ()\r
+  product ::\r
+    forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a\r
+  properFraction ::\r
+    forall b a. (Integral b, RealFrac a) => a -> (b, a)\r
+  putChar :: Char -> IO ()\r
+  putStr :: String -> IO ()\r
+  putStrLn :: String -> IO ()\r
+  quot :: forall a. Integral a => a -> a -> a\r
+  quotRem :: forall a. Integral a => a -> a -> (a, a)\r
+  read :: forall a. Read a => String -> a\r
+  readFile :: FilePath -> IO String\r
+  readIO :: forall a. Read a => String -> IO a\r
+  readList :: forall a. Read a => ReadS [a]\r
+  readLn :: forall a. Read a => IO a\r
+  readParen :: forall a. Bool -> ReadS a -> ReadS a\r
+  reads :: forall a. Read a => ReadS a\r
+  readsPrec :: forall a. Read a => Int -> ReadS a\r
+  realToFrac :: forall b a. (Fractional b, Real a) => a -> b\r
+  recip :: forall a. Fractional a => a -> a\r
+  rem :: forall a. Integral a => a -> a -> a\r
+  repeat :: forall a. a -> [a]\r
+  replicate :: forall a. Int -> a -> [a]\r
+  return :: forall (m :: * -> *) a. Monad m => a -> m a\r
+  reverse :: forall a. [a] -> [a]\r
+  round :: forall b a. (Integral b, RealFrac a) => a -> b\r
+  scaleFloat :: forall a. RealFloat a => Int -> a -> a\r
+  scanl :: forall a b. (b -> a -> b) -> b -> [a] -> [b]\r
+  scanl1 :: forall a. (a -> a -> a) -> [a] -> [a]\r
+  scanr :: forall b a. (a -> b -> b) -> b -> [a] -> [b]\r
+  scanr1 :: forall a. (a -> a -> a) -> [a] -> [a]\r
+  seq :: forall b a. a -> b -> b\r
+  sequence ::\r
+    forall a (m :: * -> *) (t :: * -> *).\r
+    (Monad m, P.Traversable t) =>\r
+    t (m a) -> m (t a)\r
+  sequence_ ::\r
+    forall a (t :: * -> *) (m :: * -> *).\r
+    (Monad m, P.Foldable t) =>\r
+    t (m a) -> m ()\r
+  show :: forall a. Show a => a -> String\r
+  showChar :: Char -> ShowS\r
+  showList :: forall a. Show a => [a] -> ShowS\r
+  showParen :: Bool -> ShowS -> ShowS\r
+  showString :: String -> ShowS\r
+  shows :: forall a. Show a => a -> ShowS\r
+  showsPrec :: forall a. Show a => Int -> a -> ShowS\r
+  significand :: forall a. RealFloat a => a -> a\r
+  signum :: forall a. Num a => a -> a\r
+  sin :: forall a. Floating a => a -> a\r
+  sinh :: forall a. Floating a => a -> a\r
+  snd :: forall a b. (a, b) -> b\r
+  span :: forall a. (a -> Bool) -> [a] -> ([a], [a])\r
+  splitAt :: forall a. Int -> [a] -> ([a], [a])\r
+  sqrt :: forall a. Floating a => a -> a\r
+  subtract :: forall a. Num a => a -> a -> a\r
+  succ :: forall a. Enum a => a -> a\r
+  sum :: forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a\r
+  tail :: forall a. [a] -> [a]\r
+  take :: forall a. Int -> [a] -> [a]\r
+  takeWhile :: forall a. (a -> Bool) -> [a] -> [a]\r
+  tan :: forall a. Floating a => a -> a\r
+  tanh :: forall a. Floating a => a -> a\r
+  toEnum :: forall a. Enum a => Int -> a\r
+  toInteger :: forall a. Integral a => a -> Integer\r
+  toRational :: forall a. Real a => a -> Rational\r
+  truncate :: forall b a. (Integral b, RealFrac a) => a -> b\r
+  uncurry :: forall c b a. (a -> b -> c) -> (a, b) -> c\r
+  undefined :: forall t. t\r
+  unlines :: [String] -> String\r
+  until :: forall a. (a -> Bool) -> (a -> a) -> a -> a\r
+  unwords :: [String] -> String\r
+  unzip :: forall b a. [(a, b)] -> ([a], [b])\r
+  unzip3 :: forall c b a. [(a, b, c)] -> ([a], [b], [c])\r
+  userError :: String -> IOError\r
+  words :: String -> [String]\r
+  writeFile :: FilePath -> String -> IO ()\r
+  zip :: forall b a. [a] -> [b] -> [(a, b)]\r
+  zip3 :: forall c b a. [a] -> [b] -> [c] -> [(a, b, c)]\r
+  zipWith :: forall c b a. (a -> b -> c) -> [a] -> [b] -> [c]\r
+  zipWith3 ::\r
+    forall d c b a. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]\r
+  || :: Bool -> Bool -> Bool\r
+TYPE CONSTRUCTORS\r
+COERCION AXIOMS\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
index 29619d1..1eb9c96 100644 (file)
@@ -1,17 +1,17 @@
-TYPE SIGNATURES
-  isMeltdown :: forall param1 param2. NukeMonad param1 param2 Bool
-  unlessMeltdown ::
-    forall param1 param2.
-    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\r
+  isMeltdown :: forall param1 param2. NukeMonad param1 param2 Bool\r
+  unlessMeltdown ::\r
+    forall param2 param1.\r
+    NukeMonad param1 param2 () -> NukeMonad param1 param2 ()\r
+TYPE CONSTRUCTORS\r
+  type role NukeMonad phantom phantom phantom\r
+  data NukeMonad a b c\r
+COERCION AXIOMS\r
+INSTANCES\r
+  instance Functor (NukeMonad a b) -- Defined at Meltdown.hs:8:10\r
+  instance Applicative (NukeMonad a b)\r
+    -- Defined at Meltdown.hs:11:10\r
+  instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
index 3e07437..93b3dca 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES
-  foo :: forall a b. (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\r
+  foo :: forall b a. (a, b) -> (a, b)\r
+TYPE CONSTRUCTORS\r
+COERCION AXIOMS\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
index 6209498..efb0eb8 100644 (file)
@@ -1,13 +1,13 @@
-TYPE SIGNATURES
-  SkipMany.GenParser ::
-    forall tok st a. tok -> st -> a -> GenParser tok st a
-  skipMany ::
-    forall a tok st. 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\r
+  SkipMany.GenParser ::\r
+    forall tok st a. tok -> st -> a -> GenParser tok st a\r
+  skipMany ::\r
+    forall a st tok. GenParser tok st a -> GenParser tok st ()\r
+  skipMany' ::\r
+    forall tok st a. GenParser tok st a -> GenParser tok st ()\r
+TYPE CONSTRUCTORS\r
+  data GenParser tok st a = GenParser tok st a\r
+COERCION AXIOMS\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
index 6151c74..be6dd3b 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES
-  unc :: forall t t1 t2. (t -> t1 -> t2) -> (t, t1) -> t2
-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\r
+  unc :: forall t t1 t2. (t2 -> t1 -> t) -> (t2, t1) -> t\r
+TYPE CONSTRUCTORS\r
+COERCION AXIOMS\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
index 2ff8d3d..8951f44 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES
-  unc :: forall a b t. (a -> b -> t) -> (a, b) -> t
-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\r
+  unc :: forall t b a. (a -> b -> t) -> (a, b) -> t\r
+TYPE CONSTRUCTORS\r
+COERCION AXIOMS\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
index 6d22293..19ed2e1 100644 (file)
@@ -1,66 +1,60 @@
-TYPE SIGNATURES
-  bar :: forall t t1. t -> (t -> t1) -> t1
-  foo :: forall a. (Show a, Enum 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]
-
-WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
-    • Found type wildcard ‘_a’ standing for ‘a’
-      Where: ‘a’ is a rigid type variable bound by
-               the inferred type of foo :: (Enum a, Show a) => a -> String
-               at WarningWildcardInstantiations.hs:6:1
-    • In the type signature:
-        foo :: (Show _a, _) => _a -> _
-    • Relevant bindings include
-        foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)
-
-WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
-    Found constraint wildcard ‘_’ standing for ‘Enum a’
-    In the type signature:
-      foo :: (Show _a, _) => _a -> _
-
-WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]
-    • Found type wildcard ‘_’ standing for ‘String’
-    • In the type signature:
-        foo :: (Show _a, _) => _a -> _
-    • Relevant bindings include
-        foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)
-
-WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
-    • Found type wildcard ‘_’ standing for ‘t’
-      Where: ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WarningWildcardInstantiations.hs:9:1
-    • In the type signature:
-        bar :: _ -> _ -> _
-    • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
-          (bound at WarningWildcardInstantiations.hs:9:1)
-
-WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
-    • Found type wildcard ‘_’ standing for ‘t -> t1’
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WarningWildcardInstantiations.hs:9:1
-             ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WarningWildcardInstantiations.hs:9:1
-    • In the type signature:
-        bar :: _ -> _ -> _
-    • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
-          (bound at WarningWildcardInstantiations.hs:9:1)
-
-WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
-    • Found type wildcard ‘_’ standing for ‘t1’
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WarningWildcardInstantiations.hs:9:1
-    • In the type signature:
-        bar :: _ -> _ -> _
-    • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
-          (bound at WarningWildcardInstantiations.hs:9:1)
+TYPE SIGNATURES\r
+  bar :: forall t t1. t1 -> (t1 -> t) -> t\r
+  foo :: forall a. (Show a, Enum a) => a -> String\r
+TYPE CONSTRUCTORS\r
+COERCION AXIOMS\r
+Dependent modules: []\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
+                     integer-gmp-1.0.0.1]\r
+\r
+WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
+    • Found type wildcard ‘_a’ standing for ‘a’\r
+      Where: ‘a’ is a rigid type variable bound by\r
+               the inferred type of foo :: (Enum a, Show a) => a -> String\r
+               at WarningWildcardInstantiations.hs:6:1\r
+    • In the type signature: foo :: (Show _a, _) => _a -> _\r
+    • Relevant bindings include\r
+        foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)\r
+\r
+WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
+    Found constraint wildcard ‘_’ standing for ‘Enum a’\r
+    In the type signature: foo :: (Show _a, _) => _a -> _\r
+\r
+WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
+    • Found type wildcard ‘_’ standing for ‘String’\r
+    • In the type signature: foo :: (Show _a, _) => _a -> _\r
+    • Relevant bindings include\r
+        foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)\r
+\r
+WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
+    • Found type wildcard ‘_’ standing for ‘t1’\r
+      Where: ‘t1’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WarningWildcardInstantiations.hs:9:1\r
+    • In the type signature: bar :: _ -> _ -> _\r
+    • Relevant bindings include\r
+        bar :: t1 -> (t1 -> t) -> t\r
+          (bound at WarningWildcardInstantiations.hs:9:1)\r
+\r
+WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
+    • Found type wildcard ‘_’ standing for ‘t1 -> t’\r
+      Where: ‘t’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WarningWildcardInstantiations.hs:9:1\r
+             ‘t1’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WarningWildcardInstantiations.hs:9:1\r
+    • In the type signature: bar :: _ -> _ -> _\r
+    • Relevant bindings include\r
+        bar :: t1 -> (t1 -> t) -> t\r
+          (bound at WarningWildcardInstantiations.hs:9:1)\r
+\r
+WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
+    • Found type wildcard ‘_’ standing for ‘t’\r
+      Where: ‘t’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WarningWildcardInstantiations.hs:9:1\r
+    • In the type signature: bar :: _ -> _ -> _\r
+    • Relevant bindings include\r
+        bar :: t1 -> (t1 -> t) -> t\r
+          (bound at WarningWildcardInstantiations.hs:9:1)\r
index bb1a481..5d95186 100644 (file)
@@ -1,11 +1,11 @@
-
-NamedExtraConstraintsWildcard.hs:5:1: error:
-    • Could not deduce: t0
-      from the context: (Eq a, t)
-        bound by the inferred type for ‘foo’:
-                   (Eq a, t) => 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 a (t :: Constraint). (Eq a, t) => a -> a
+\r
+NamedExtraConstraintsWildcard.hs:5:1: error:\r
+    • Could not deduce: t0\r
+      from the context: (Eq a, t)\r
+        bound by the inferred type for ‘foo’:\r
+                   (Eq a, t) => a -> a\r
+        at NamedExtraConstraintsWildcard.hs:5:1-15\r
+    • In the ambiguity check for the inferred type for ‘foo’\r
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
+      When checking the inferred type\r
+        foo :: forall (t :: Constraint) a. (Eq a, t) => a -> a\r
index 0c3d154..884a4c0 100644 (file)
@@ -1,20 +1,18 @@
-
-TidyClash.hs:8:19: error:
-    • Found type wildcard ‘_’ standing for ‘t’
-      Where: ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: w_ -> (w_, t -> t1) at TidyClash.hs:9:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        bar :: w_ -> (w_, _ -> _)
-    • Relevant bindings include
-        bar :: w_ -> (w_, t -> t1) (bound at TidyClash.hs:9:1)
-
-TidyClash.hs:8:24: error:
-    • Found type wildcard ‘_’ standing for ‘t1’
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of bar :: w_ -> (w_, t -> t1) at TidyClash.hs:9:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        bar :: w_ -> (w_, _ -> _)
-    • Relevant bindings include
-        bar :: w_ -> (w_, t -> t1) (bound at TidyClash.hs:9:1)
+\r
+TidyClash.hs:8:19: error:\r
+    • Found type wildcard ‘_’ standing for ‘t1’\r
+      Where: ‘t1’ is a rigid type variable bound by\r
+               the inferred type of bar :: w_ -> (w_, t1 -> t) at TidyClash.hs:9:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: bar :: w_ -> (w_, _ -> _)\r
+    • Relevant bindings include\r
+        bar :: w_ -> (w_, t1 -> t) (bound at TidyClash.hs:9:1)\r
+\r
+TidyClash.hs:8:24: error:\r
+    • Found type wildcard ‘_’ standing for ‘t’\r
+      Where: ‘t’ is a rigid type variable bound by\r
+               the inferred type of bar :: w_ -> (w_, t1 -> t) at TidyClash.hs:9:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: bar :: w_ -> (w_, _ -> _)\r
+    • Relevant bindings include\r
+        bar :: w_ -> (w_, t1 -> t) (bound at TidyClash.hs:9:1)\r
index ddaf18b..f59ab4d 100644 (file)
@@ -1,59 +1,57 @@
-
-TidyClash2.hs:13:20: error:
-    • Found type wildcard ‘_’ standing for ‘t1’
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of barry :: t1 -> t2 -> t at TidyClash2.hs:14:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        barry :: forall t. _ -> _ -> t
-    • Relevant bindings include
-        barry :: t1 -> t2 -> t (bound at TidyClash2.hs:14:1)
-
-TidyClash2.hs:13:25: error:
-    • Found type wildcard ‘_’ standing for ‘t2’
-      Where: ‘t2’ is a rigid type variable bound by
-               the inferred type of barry :: t1 -> t2 -> t at TidyClash2.hs:14:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        barry :: forall t. _ -> _ -> t
-    • Relevant bindings include
-        barry :: t1 -> t2 -> t (bound at TidyClash2.hs:14:1)
-
-TidyClash2.hs:14:13: error:
-    • Found type wildcard ‘_’ standing for ‘t1’
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of barry :: t1 -> t2 -> t at TidyClash2.hs:14:1
-      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 :: t1 -> t2 -> t (bound at TidyClash2.hs:14:1)
-
-TidyClash2.hs:14:22: error:
-    • Found type wildcard ‘_’ standing for ‘t2’
-      Where: ‘t2’ is a rigid type variable bound by
-               the inferred type of barry :: t1 -> t2 -> t at TidyClash2.hs:14:1
-      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 :: t1 (bound at TidyClash2.hs:14:8)
-        barry :: t1 -> t2 -> t (bound at TidyClash2.hs:14:1)
-
-TidyClash2.hs:14:40: error:
-    • Found type wildcard ‘_’ standing for ‘t3’
-      Where: ‘t3’ is a rigid type variable bound by
-               the inferred type of <expression> :: t3 at TidyClash2.hs:14:27
-      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 :: t2 (bound at TidyClash2.hs:14:17)
-        x :: t1 (bound at TidyClash2.hs:14:8)
-        barry :: t1 -> t2 -> t (bound at TidyClash2.hs:14:1)
+\r
+TidyClash2.hs:13:20: error:\r
+    • Found type wildcard ‘_’ standing for ‘t2’\r
+      Where: ‘t2’ is a rigid type variable bound by\r
+               the inferred type of barry :: t2 -> t1 -> t at TidyClash2.hs:14:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: barry :: forall t. _ -> _ -> t\r
+    • Relevant bindings include\r
+        barry :: t2 -> t1 -> t (bound at TidyClash2.hs:14:1)\r
+\r
+TidyClash2.hs:13:25: error:\r
+    • Found type wildcard ‘_’ standing for ‘t1’\r
+      Where: ‘t1’ is a rigid type variable bound by\r
+               the inferred type of barry :: t2 -> t1 -> t at TidyClash2.hs:14:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: barry :: forall t. _ -> _ -> t\r
+    • Relevant bindings include\r
+        barry :: t2 -> t1 -> t (bound at TidyClash2.hs:14:1)\r
+\r
+TidyClash2.hs:14:13: error:\r
+    • Found type wildcard ‘_’ standing for ‘t2’\r
+      Where: ‘t2’ is a rigid type variable bound by\r
+               the inferred type of barry :: t2 -> t1 -> t at TidyClash2.hs:14:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In a pattern type signature: _\r
+      In the pattern: x :: _\r
+      In an equation for ‘barry’:\r
+          barry (x :: _) (y :: _) = undefined :: _\r
+    • Relevant bindings include\r
+        barry :: t2 -> t1 -> t (bound at TidyClash2.hs:14:1)\r
+\r
+TidyClash2.hs:14:22: error:\r
+    • Found type wildcard ‘_’ standing for ‘t1’\r
+      Where: ‘t1’ is a rigid type variable bound by\r
+               the inferred type of barry :: t2 -> t1 -> t at TidyClash2.hs:14:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In a pattern type signature: _\r
+      In the pattern: y :: _\r
+      In an equation for ‘barry’:\r
+          barry (x :: _) (y :: _) = undefined :: _\r
+    • Relevant bindings include\r
+        x :: t2 (bound at TidyClash2.hs:14:8)\r
+        barry :: t2 -> t1 -> t (bound at TidyClash2.hs:14:1)\r
+\r
+TidyClash2.hs:14:40: error:\r
+    • Found type wildcard ‘_’ standing for ‘t3’\r
+      Where: ‘t3’ is a rigid type variable bound by\r
+               the inferred type of <expression> :: t3 at TidyClash2.hs:14:27\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In an expression type signature: _\r
+      In the expression: undefined :: _\r
+      In an equation for ‘barry’:\r
+          barry (x :: _) (y :: _) = undefined :: _\r
+    • Relevant bindings include\r
+        y :: t1 (bound at TidyClash2.hs:14:17)\r
+        x :: t2 (bound at TidyClash2.hs:14:8)\r
+        barry :: t2 -> t1 -> t (bound at TidyClash2.hs:14:1)\r
index 7e0b5ac..e72ee66 100644 (file)
@@ -1,64 +1,58 @@
-
-WildcardInstantiations.hs:5:14: error:
-    • Found type wildcard ‘_a’ standing for ‘a’
-      Where: ‘a’ is a rigid type variable bound by
-               the inferred type of foo :: (Enum a, Show a) => a -> String
-               at WildcardInstantiations.hs:6:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        foo :: (Show _a, _) => _a -> _
-    • Relevant bindings include
-        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)
-
-WildcardInstantiations.hs:5:18: error:
-    Found constraint wildcard ‘_’ standing for ‘Enum a’
-    To use the inferred type, enable PartialTypeSignatures
-    In the type signature:
-      foo :: (Show _a, _) => _a -> _
-
-WildcardInstantiations.hs:5:30: error:
-    • Found type wildcard ‘_’ standing for ‘String’
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        foo :: (Show _a, _) => _a -> _
-    • Relevant bindings include
-        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)
-
-WildcardInstantiations.hs:8:8: error:
-    • Found type wildcard ‘_’ standing for ‘t’
-      Where: ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WildcardInstantiations.hs:9:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        bar :: _ -> _ -> _
-    • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
-          (bound at WildcardInstantiations.hs:9:1)
-
-WildcardInstantiations.hs:8:13: error:
-    • Found type wildcard ‘_’ standing for ‘t -> t1’
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WildcardInstantiations.hs:9:1
-             ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WildcardInstantiations.hs:9:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        bar :: _ -> _ -> _
-    • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
-          (bound at WildcardInstantiations.hs:9:1)
-
-WildcardInstantiations.hs:8:18: error:
-    • Found type wildcard ‘_’ standing for ‘t1’
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
-               at WildcardInstantiations.hs:9:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        bar :: _ -> _ -> _
-    • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
-          (bound at WildcardInstantiations.hs:9:1)
+\r
+WildcardInstantiations.hs:5:14: error:\r
+    • Found type wildcard ‘_a’ standing for ‘a’\r
+      Where: ‘a’ is a rigid type variable bound by\r
+               the inferred type of foo :: (Enum a, Show a) => a -> String\r
+               at WildcardInstantiations.hs:6:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: foo :: (Show _a, _) => _a -> _\r
+    • Relevant bindings include\r
+        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)\r
+\r
+WildcardInstantiations.hs:5:18: error:\r
+    Found constraint wildcard ‘_’ standing for ‘Enum a’\r
+    To use the inferred type, enable PartialTypeSignatures\r
+    In the type signature: foo :: (Show _a, _) => _a -> _\r
+\r
+WildcardInstantiations.hs:5:30: error:\r
+    • Found type wildcard ‘_’ standing for ‘String’\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: foo :: (Show _a, _) => _a -> _\r
+    • Relevant bindings include\r
+        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)\r
+\r
+WildcardInstantiations.hs:8:8: error:\r
+    • Found type wildcard ‘_’ standing for ‘t1’\r
+      Where: ‘t1’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WildcardInstantiations.hs:9:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: bar :: _ -> _ -> _\r
+    • Relevant bindings include\r
+        bar :: t1 -> (t1 -> t) -> t\r
+          (bound at WildcardInstantiations.hs:9:1)\r
+\r
+WildcardInstantiations.hs:8:13: error:\r
+    • Found type wildcard ‘_’ standing for ‘t1 -> t’\r
+      Where: ‘t’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WildcardInstantiations.hs:9:1\r
+             ‘t1’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WildcardInstantiations.hs:9:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: bar :: _ -> _ -> _\r
+    • Relevant bindings include\r
+        bar :: t1 -> (t1 -> t) -> t\r
+          (bound at WildcardInstantiations.hs:9:1)\r
+\r
+WildcardInstantiations.hs:8:18: error:\r
+    • Found type wildcard ‘_’ standing for ‘t’\r
+      Where: ‘t’ is a rigid type variable bound by\r
+               the inferred type of bar :: t1 -> (t1 -> t) -> t\r
+               at WildcardInstantiations.hs:9:1\r
+      To use the inferred type, enable PartialTypeSignatures\r
+    • In the type signature: bar :: _ -> _ -> _\r
+    • Relevant bindings include\r
+        bar :: t1 -> (t1 -> t) -> t\r
+          (bound at WildcardInstantiations.hs:9:1)\r
index 51aaf1d..56b1b70 100644 (file)
@@ -1,15 +1,15 @@
-
-tcfail198.hs:6:36: error:
-    • Couldn't match expected type ‘a2’ with actual type ‘a’
-        because type variable ‘a2’ would escape its scope
-      This (rigid, skolem) type variable is bound by
-        an expression type signature:
-          a2
-        at tcfail198.hs:6:36-41
-    • In the expression: x :: a
-      In the second argument of ‘(++)’, namely ‘[x :: a]’
-      In the expression: xs ++ [x :: a]
-    • Relevant bindings include
-        xs :: [a] (bound at tcfail198.hs:6:21)
-        x :: a (bound at tcfail198.hs:6:19)
-        f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)
+\r
+tcfail198.hs:6:36: error:\r
+    • Couldn't match expected type ‘a1’ with actual type ‘a’\r
+        because type variable ‘a1’ would escape its scope\r
+      This (rigid, skolem) type variable is bound by\r
+        an expression type signature:\r
+          a1\r
+        at tcfail198.hs:6:36-41\r
+    • In the expression: x :: a\r
+      In the second argument of ‘(++)’, namely ‘[x :: a]’\r
+      In the expression: xs ++ [x :: a]\r
+    • Relevant bindings include\r
+        xs :: [a] (bound at tcfail198.hs:6:21)\r
+        x :: a (bound at tcfail198.hs:6:19)\r
+        f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)\r