diff options
133 files changed, 1060 insertions, 695 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail05.stderr b/testsuite/tests/annotations/should_fail/annfail05.stderr index 4e861c6b97..04329eec1e 100644 --- a/testsuite/tests/annotations/should_fail/annfail05.stderr +++ b/testsuite/tests/annotations/should_fail/annfail05.stderr @@ -2,7 +2,5 @@ annfail05.hs:11:1: No instance for (Data.Data.Data NoInstances) arising from an annotation - Possible fix: - add an instance declaration for (Data.Data.Data NoInstances) In the expression: NoInstances In the annotation: {-# ANN f NoInstances #-} diff --git a/testsuite/tests/annotations/should_fail/annfail08.stderr b/testsuite/tests/annotations/should_fail/annfail08.stderr index d10fbe55d6..df18d002ee 100644 --- a/testsuite/tests/annotations/should_fail/annfail08.stderr +++ b/testsuite/tests/annotations/should_fail/annfail08.stderr @@ -2,13 +2,10 @@ annfail08.hs:9:1: No instance for (Data.Data.Data (a0 -> a0)) arising from an annotation - Possible fix: - add an instance declaration for (Data.Data.Data (a0 -> a0)) In the expression: (id + 1) In the annotation: {-# ANN f (id + 1) #-} annfail08.hs:9:15: No instance for (Num (a0 -> a0)) arising from a use of `+' - Possible fix: add an instance declaration for (Num (a0 -> a0)) In the expression: (id + 1) In the annotation: {-# ANN f (id + 1) #-} diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index 7e0004f95d..36cf8a4ff3 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -1,24 +1,31 @@ -
-T5380.hs:7:27:
- Couldn't match expected type `not_bool' with actual type `Bool'
- `not_bool' is a rigid type variable bound by
- the type signature for
- testB :: not_bool -> (() -> ()) -> () -> not_unit
- at T5380.hs:6:10
- In the expression: b
- In the expression: proc () -> if b then f -< () else f -< ()
- In an equation for `testB':
- testB b f = proc () -> if b then f -< () else f -< ()
-
-T5380.hs:7:34:
- Couldn't match type `not_unit' with `()'
- `not_unit' is a rigid type variable bound by
- the type signature for
- testB :: not_bool -> (() -> ()) -> () -> not_unit
- at T5380.hs:6:10
- Expected type: () -> not_unit
- Actual type: () -> ()
- In the expression: f
- In the expression: proc () -> if b then f -< () else f -< ()
- In an equation for `testB':
- testB b f = proc () -> if b then f -< () else f -< ()
+ +T5380.hs:7:27: + Couldn't match expected type `not_bool' with actual type `Bool' + `not_bool' is a rigid type variable bound by + the type signature for + testB :: not_bool -> (() -> ()) -> () -> not_unit + at T5380.hs:6:10 + Relevant bindings include + testB :: not_bool -> (() -> ()) -> () -> not_unit + (bound at T5380.hs:7:1) + b :: not_bool (bound at T5380.hs:7:7) + In the expression: b + In the expression: proc () -> if b then f -< () else f -< () + In an equation for `testB': + testB b f = proc () -> if b then f -< () else f -< () + +T5380.hs:7:34: + Couldn't match type `not_unit' with `()' + `not_unit' is a rigid type variable bound by + the type signature for + testB :: not_bool -> (() -> ()) -> () -> not_unit + at T5380.hs:6:10 + Expected type: () -> not_unit + Actual type: () -> () + Relevant bindings include + testB :: not_bool -> (() -> ()) -> () -> not_unit + (bound at T5380.hs:7:1) + In the expression: f + In the expression: proc () -> if b then f -< () else f -< () + In an equation for `testB': + testB b f = proc () -> if b then f -< () else f -< () diff --git a/testsuite/tests/deriving/should_fail/T2851.stderr b/testsuite/tests/deriving/should_fail/T2851.stderr index a2beb9869d..70802ab997 100644 --- a/testsuite/tests/deriving/should_fail/T2851.stderr +++ b/testsuite/tests/deriving/should_fail/T2851.stderr @@ -3,7 +3,6 @@ T2851.hs:9:15: No instance for (Show (F a)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Show (F a)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Show (D a)) diff --git a/testsuite/tests/deriving/should_fail/T3621.stderr b/testsuite/tests/deriving/should_fail/T3621.stderr index 68213c61e8..b70fc33bda 100644 --- a/testsuite/tests/deriving/should_fail/T3621.stderr +++ b/testsuite/tests/deriving/should_fail/T3621.stderr @@ -3,7 +3,6 @@ T3621.hs:21:21: No instance for (MonadState state (State s)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (MonadState state (State s)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (MonadState state (WrappedState s)) diff --git a/testsuite/tests/deriving/should_fail/T5287.stderr b/testsuite/tests/deriving/should_fail/T5287.stderr index 93ea7d6cb7..e95212f67e 100644 --- a/testsuite/tests/deriving/should_fail/T5287.stderr +++ b/testsuite/tests/deriving/should_fail/T5287.stderr @@ -2,6 +2,8 @@ T5287.hs:6:29: No instance for (A e oops) arising from the 'deriving' clause of a data type declaration + The type variable `oops' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr b/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr index b9d1eb5591..fa5633e786 100644 --- a/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr @@ -1,28 +1,26 @@ -
-drvfail-foldable-traversable1.hs:9:23:
- No instance for (Functor Trivial1)
- arising from the 'deriving' clause of a data type declaration
- Possible fix:
- add an instance declaration for (Functor Trivial1)
- or use a standalone 'deriving instance' declaration,
- so you can specify the instance context yourself
- When deriving the instance for (Traversable Trivial1)
-
-drvfail-foldable-traversable1.hs:13:22:
- No instance for (Foldable Trivial2)
- arising from the 'deriving' clause of a data type declaration
- Possible fix:
- add an instance declaration for (Foldable Trivial2)
- or use a standalone 'deriving instance' declaration,
- so you can specify the instance context yourself
- When deriving the instance for (Traversable Trivial2)
-
-drvfail-foldable-traversable1.hs:17:22:
- Can't make a derived instance of `Foldable Infinite':
- Constructor `Infinite' must not contain function types
- In the data declaration for `Infinite'
-
-drvfail-foldable-traversable1.hs:21:22:
- Can't make a derived instance of `Traversable (Cont r)':
- Constructor `Cont' must not contain function types
- In the data declaration for `Cont'
+ +drvfail-foldable-traversable1.hs:9:23: + No instance for (Functor Trivial1) + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (Traversable Trivial1) + +drvfail-foldable-traversable1.hs:13:22: + No instance for (Foldable Trivial2) + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (Traversable Trivial2) + +drvfail-foldable-traversable1.hs:17:22: + Can't make a derived instance of `Foldable Infinite': + Constructor `Infinite' must not contain function types + In the data declaration for `Infinite' + +drvfail-foldable-traversable1.hs:21:22: + Can't make a derived instance of `Traversable (Cont r)': + Constructor `Cont' must not contain function types + In the data declaration for `Cont' diff --git a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr index 9c830aaec4..54dc6f7019 100644 --- a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr @@ -1,32 +1,31 @@ -
-drvfail-functor2.hs:1:29: Warning:
- -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-drvfail-functor2.hs:7:14:
- Can't make a derived instance of `Functor InFunctionArgument':
- Constructor `InFunctionArgument' must not use the type variable in a function argument
- In the newtype declaration for `InFunctionArgument'
-
-drvfail-functor2.hs:10:14:
- Can't make a derived instance of `Functor OnSecondArg':
- Constructor `OnSecondArg' must use the type variable only as the last argument of a data type
- In the newtype declaration for `OnSecondArg'
-
-drvfail-functor2.hs:15:14:
- Cannot derive well-kinded instance of form `Functor (NoArguments ...)'
- Class `Functor' expects an argument of kind `* -> *'
- In the newtype declaration for `NoArguments'
-
-drvfail-functor2.hs:20:14:
- Can't make a derived instance of `Functor StupidConstraint':
- Data type `StupidConstraint' must not have a class context (Eq a)
- In the data declaration for `StupidConstraint'
-
-drvfail-functor2.hs:26:14:
- No instance for (Functor NoFunctor)
- arising from the 'deriving' clause of a data type declaration
- Possible fix:
- add an instance declaration for (Functor NoFunctor)
- or use a standalone 'deriving instance' declaration,
- so you can specify the instance context yourself
- When deriving the instance for (Functor UseNoFunctor)
+ +drvfail-functor2.hs:1:29: Warning: + -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. + +drvfail-functor2.hs:7:14: + Can't make a derived instance of `Functor InFunctionArgument': + Constructor `InFunctionArgument' must not use the type variable in a function argument + In the newtype declaration for `InFunctionArgument' + +drvfail-functor2.hs:10:14: + Can't make a derived instance of `Functor OnSecondArg': + Constructor `OnSecondArg' must use the type variable only as the last argument of a data type + In the newtype declaration for `OnSecondArg' + +drvfail-functor2.hs:15:14: + Cannot derive well-kinded instance of form `Functor (NoArguments ...)' + Class `Functor' expects an argument of kind `* -> *' + In the newtype declaration for `NoArguments' + +drvfail-functor2.hs:20:14: + Can't make a derived instance of `Functor StupidConstraint': + Data type `StupidConstraint' must not have a class context (Eq a) + In the data declaration for `StupidConstraint' + +drvfail-functor2.hs:26:14: + No instance for (Functor NoFunctor) + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (Functor UseNoFunctor) diff --git a/testsuite/tests/deriving/should_fail/drvfail001.stderr b/testsuite/tests/deriving/should_fail/drvfail001.stderr index a2a149594c..8c0be37eca 100644 --- a/testsuite/tests/deriving/should_fail/drvfail001.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail001.stderr @@ -3,7 +3,6 @@ drvfail001.hs:16:33: No instance for (Show (f (f a))) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Show (f (f a))) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Show (SM f a)) diff --git a/testsuite/tests/deriving/should_fail/drvfail002.stderr b/testsuite/tests/deriving/should_fail/drvfail002.stderr index 281c6a3ac3..4594fe9274 100644 --- a/testsuite/tests/deriving/should_fail/drvfail002.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail002.stderr @@ -2,8 +2,9 @@ drvfail002.hs:19:23: No instance for (X T c) arising from the 'deriving' clause of a data type declaration + The type variable `c' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) Possible fix: - add an instance declaration for (X T c) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Show S) diff --git a/testsuite/tests/deriving/should_fail/drvfail003.stderr b/testsuite/tests/deriving/should_fail/drvfail003.stderr index 4aa98531b8..f329420cca 100644 --- a/testsuite/tests/deriving/should_fail/drvfail003.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail003.stderr @@ -3,7 +3,6 @@ drvfail003.hs:16:56: No instance for (Show (v (v a))) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Show (v (v a))) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Show (Square_ v w a)) diff --git a/testsuite/tests/deriving/should_fail/drvfail004.stderr b/testsuite/tests/deriving/should_fail/drvfail004.stderr index d08f315cb7..fe193b929a 100644 --- a/testsuite/tests/deriving/should_fail/drvfail004.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail004.stderr @@ -3,7 +3,6 @@ drvfail004.hs:8:12: No instance for (Eq (Foo a b)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Eq (Foo a b)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Ord (Foo a b)) diff --git a/testsuite/tests/deriving/should_fail/drvfail007.stderr b/testsuite/tests/deriving/should_fail/drvfail007.stderr index 7dc7124fd1..d47c14e000 100644 --- a/testsuite/tests/deriving/should_fail/drvfail007.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail007.stderr @@ -3,7 +3,6 @@ drvfail007.hs:4:38: No instance for (Eq (Int -> Int)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Eq (Int -> Int)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Eq Foo) diff --git a/testsuite/tests/deriving/should_fail/drvfail012.stderr b/testsuite/tests/deriving/should_fail/drvfail012.stderr index 22fac4887d..602033fecd 100644 --- a/testsuite/tests/deriving/should_fail/drvfail012.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail012.stderr @@ -3,7 +3,6 @@ drvfail012.hs:5:33: No instance for (Eq (Ego a)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Eq (Ego a)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Ord (Ego a)) diff --git a/testsuite/tests/deriving/should_fail/drvfail013.stderr b/testsuite/tests/deriving/should_fail/drvfail013.stderr index 94927cd790..29d8ba6168 100644 --- a/testsuite/tests/deriving/should_fail/drvfail013.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail013.stderr @@ -3,16 +3,14 @@ drvfail013.hs:4:70: No instance for (Eq (m (Maybe a))) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Eq (m (Maybe a))) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Eq (MaybeT m a)) drvfail013.hs:6:70: No instance for (Eq (m (Maybe a))) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Eq (m (Maybe a))) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Eq (MaybeT' m a)) diff --git a/testsuite/tests/driver/T5147/T5147.stderr b/testsuite/tests/driver/T5147/T5147.stderr index 9d37468dfe..6e8427b940 100644 --- a/testsuite/tests/driver/T5147/T5147.stderr +++ b/testsuite/tests/driver/T5147/T5147.stderr @@ -1,6 +1,5 @@ A.hs:6:15: No instance for (Show (Fields v)) arising from a use of `show' - Possible fix: add an instance declaration for (Show (Fields v)) In the expression: show a In an equation for `showField': showField a = show a diff --git a/testsuite/tests/gadt/T3169.stderr b/testsuite/tests/gadt/T3169.stderr index 7ca72f9654..f256f8cbfe 100644 --- a/testsuite/tests/gadt/T3169.stderr +++ b/testsuite/tests/gadt/T3169.stderr @@ -5,6 +5,12 @@ T3169.hs:13:22: bound by the instance declaration at T3169.hs:10:10-36 Expected type: Map a (Map b elt) Actual type: Map (a, b) elt + Relevant bindings include + lookup :: (a, b) -> Map (a, b) elt -> Maybe elt + (bound at T3169.hs:12:3) + a :: a (bound at T3169.hs:12:11) + b :: b (bound at T3169.hs:12:13) + m :: Map (a, b) elt (bound at T3169.hs:12:17) In the second argument of `lookup', namely `m' In the expression: lookup a m :: Maybe (Map b elt) In the expression: @@ -21,6 +27,11 @@ T3169.hs:13:22: at T3169.hs:12:3 Expected type: Map a (Map b elt) Actual type: Map (a, b) elt + Relevant bindings include + lookup :: (a, b) -> Map (a, b) elt -> Maybe elt + (bound at T3169.hs:12:3) + b :: b (bound at T3169.hs:12:13) + m :: Map (a, b) elt (bound at T3169.hs:12:17) In the second argument of `lookup', namely `m' In the expression: lookup a m :: Maybe (Map b elt) In the expression: diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr index 418afad692..ef5453ca6f 100644 --- a/testsuite/tests/gadt/rw.stderr +++ b/testsuite/tests/gadt/rw.stderr @@ -1,20 +1,28 @@ -
-rw.hs:14:47:
- Couldn't match expected type `a' with actual type `Int'
- `a' is a rigid type variable bound by
- the type signature for writeInt :: T a -> IORef a -> IO ()
- at rw.hs:12:12
- In the second argument of `writeIORef', namely `(1 :: Int)'
- In the expression: writeIORef ref (1 :: Int)
- In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
-
-rw.hs:19:51:
- Couldn't match type `a' with `Bool'
- `a' is a rigid type variable bound by
- the type signature for readBool :: T a -> IORef a -> IO ()
- at rw.hs:16:12
- Expected type: a -> Bool
- Actual type: Bool -> Bool
- In the second argument of `(.)', namely `not'
- In the second argument of `(>>=)', namely `(print . not)'
- In the expression: readIORef ref >>= (print . not)
+ +rw.hs:14:47: + Couldn't match expected type `a' with actual type `Int' + `a' is a rigid type variable bound by + the type signature for writeInt :: T a -> IORef a -> IO () + at rw.hs:12:12 + Relevant bindings include + writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1) + v :: T a (bound at rw.hs:13:10) + ref :: IORef a (bound at rw.hs:13:12) + In the second argument of `writeIORef', namely `(1 :: Int)' + In the expression: writeIORef ref (1 :: Int) + In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int) + +rw.hs:19:51: + Couldn't match type `a' with `Bool' + `a' is a rigid type variable bound by + the type signature for readBool :: T a -> IORef a -> IO () + at rw.hs:16:12 + Expected type: a -> Bool + Actual type: Bool -> Bool + Relevant bindings include + readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1) + v :: T a (bound at rw.hs:17:10) + ref :: IORef a (bound at rw.hs:17:12) + In the second argument of `(.)', namely `not' + In the second argument of `(>>=)', namely `(print . not)' + In the expression: readIORef ref >>= (print . not) diff --git a/testsuite/tests/ghci.debugger/scripts/break003.stderr b/testsuite/tests/ghci.debugger/scripts/break003.stderr index 36c125babf..03dc88bfd8 100644 --- a/testsuite/tests/ghci.debugger/scripts/break003.stderr +++ b/testsuite/tests/ghci.debugger/scripts/break003.stderr @@ -1,5 +1,4 @@ <interactive>:5:1: No instance for (Show (t -> a)) arising from a use of `print' - Possible fix: add an instance declaration for (Show (t -> a)) In a stmt of an interactive GHCi command: print it diff --git a/testsuite/tests/ghci.debugger/scripts/break006.stderr b/testsuite/tests/ghci.debugger/scripts/break006.stderr index ae2585f00f..45f6f83437 100644 --- a/testsuite/tests/ghci.debugger/scripts/break006.stderr +++ b/testsuite/tests/ghci.debugger/scripts/break006.stderr @@ -3,6 +3,7 @@ No instance for (Show a) arising from a use of `print' Cannot resolve unknown runtime type `a' Use :print or :force to determine these types + Relevant bindings include it :: a (bound at <interactive>:6:1) Note: there are several potential instances: instance Show Double -- Defined in `GHC.Float' instance Show Float -- Defined in `GHC.Float' @@ -15,6 +16,7 @@ No instance for (Show a) arising from a use of `print' Cannot resolve unknown runtime type `a' Use :print or :force to determine these types + Relevant bindings include it :: a (bound at <interactive>:8:1) Note: there are several potential instances: instance Show Double -- Defined in `GHC.Float' instance Show Float -- Defined in `GHC.Float' diff --git a/testsuite/tests/ghci.debugger/scripts/print019.stderr b/testsuite/tests/ghci.debugger/scripts/print019.stderr index f23daf2191..e5bcb7f1c4 100644 --- a/testsuite/tests/ghci.debugger/scripts/print019.stderr +++ b/testsuite/tests/ghci.debugger/scripts/print019.stderr @@ -3,6 +3,7 @@ No instance for (Show a1) arising from a use of `print' Cannot resolve unknown runtime type `a1' Use :print or :force to determine these types + Relevant bindings include it :: a1 (bound at <interactive>:11:1) Note: there are several potential instances: instance Show a => Show (List1 a) -- Defined at ../Test.hs:11:12 instance Show MyInt -- Defined at ../Test.hs:14:16 diff --git a/testsuite/tests/ghci/scripts/ghci050.stderr b/testsuite/tests/ghci/scripts/ghci050.stderr index 80725e4605..f31b5c425c 100644 --- a/testsuite/tests/ghci/scripts/ghci050.stderr +++ b/testsuite/tests/ghci/scripts/ghci050.stderr @@ -1,9 +1,14 @@ -
-<interactive>:6:49:
- Couldn't match expected type `a'
- with actual type `ListableElem (a, a)'
- `a' is a rigid type variable bound by
- the instance declaration at <interactive>:6:10
- In the expression: a
- In the expression: [a, b]
- In an equation for `asList': asList (a, b) = [a, b]
+ +<interactive>:6:49: + Couldn't match expected type `a' + with actual type `ListableElem (a, a)' + `a' is a rigid type variable bound by + the instance declaration at <interactive>:6:10 + Relevant bindings include + asList :: (a, a) -> [ListableElem (a, a)] + (bound at <interactive>:6:33) + a :: a (bound at <interactive>:6:41) + b :: a (bound at <interactive>:6:43) + In the expression: a + In the expression: [a, b] + In an equation for `asList': asList (a, b) = [a, b] diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.stderr b/testsuite/tests/indexed-types/should_compile/Simple14.stderr index 18221db64e..1665ccae83 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -1,15 +1,18 @@ -Simple14.hs:17:12: +Simple14.hs:17:19: Couldn't match type `z0' with `n' `z0' is untouchable - inside the constraints (Maybe m ~ Maybe n) - bound at a type expected by the context: - Maybe m ~ Maybe n => EQ_ z0 z0 + inside the constraints (Maybe m ~ Maybe n) + bound by a type expected by the context: + Maybe m ~ Maybe n => EQ_ z0 z0 + at Simple14.hs:17:12-33 `n' is a rigid type variable bound by the type signature for foo :: EQ_ (Maybe m) (Maybe n) at Simple14.hs:16:17 Expected type: EQ_ z0 z0 Actual type: EQ_ m n + Relevant bindings include + foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:17:1) In the second argument of `eqE', namely `(eqI :: EQ_ m n)' In the first argument of `ntI', namely `(`eqE` (eqI :: EQ_ m n))' In the expression: ntI (`eqE` (eqI :: EQ_ m n)) diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index 6dc3e84a5b..1026e5f62c 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -10,17 +10,8 @@ T3208b.hs:15:10: Possible fix: add a type signature that fixes these type variable(s) Expected type: STerm o0 Actual type: OTerm o0 - In the expression: fce (apply f) - In an equation for fce': fce' f = fce (apply f) - -T3208b.hs:15:15: - Could not deduce (STerm a ~ OTerm o0) - from the context (OTerm a ~ STerm a, OBJECT a, SUBST a) - bound by the type signature for - fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c - at T3208b.hs:14:9-56 - The type variable `o0' is ambiguous - Possible fix: add a type signature that fixes these type variable(s) - In the first argument of `fce', namely `(apply f)' + Relevant bindings include + fce' :: a -> c (bound at T3208b.hs:15:1) + f :: a (bound at T3208b.hs:15:6) In the expression: fce (apply f) In an equation for fce': fce' f = fce (apply f) diff --git a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr index f9dbbb1ae3..428d4b968d 100644 --- a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr +++ b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr @@ -5,7 +5,6 @@ ExtraTcsUntch.hs:24:53: bound by the inferred type of f :: F Int ~ [[t]] => [t] -> ((), ((), ())) at ExtraTcsUntch.hs:(21,1)-(25,29) - Possible fix: add an instance declaration for (C [t] [a]) In the expression: op x [y] In the expression: (h [[undefined]], op x [y]) In a case alternative: TEx y -> (h [[undefined]], op x [y]) diff --git a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr index a6010f6711..a90b09d6eb 100644 --- a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr +++ b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr @@ -13,6 +13,9 @@ GADTwrong1.hs:12:19: T :: forall a. a -> T (Const a), in a case alternative at GADTwrong1.hs:12:12 + Relevant bindings include + coerce :: a -> b (bound at GADTwrong1.hs:11:1) + y :: a1 (bound at GADTwrong1.hs:12:14) In the expression: y In a case alternative: T y -> y In the expression: case T x :: T (Const b) of { T y -> y } diff --git a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr index 003c014470..b8a45c3ef7 100644 --- a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr +++ b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr @@ -1,13 +1,16 @@ NoMatchErr.hs:20:5: - Could not deduce (Memo d ~ Memo d0) + Could not deduce (Memo d0 ~ Memo d) from the context (Fun d) bound by the type signature for f :: Fun d => Memo d a -> Memo d a at NoMatchErr.hs:19:7-37 NB: `Memo' is a type function, and may not be injective The type variable `d0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) - Expected type: Memo d a -> Memo d a - Actual type: Memo d0 a -> Memo d0 a + Expected type: (d0 -> a) -> Memo d a + Actual type: (d0 -> a) -> Memo d0 a + Relevant bindings include + f :: Memo d a -> Memo d a (bound at NoMatchErr.hs:20:1) + In the first argument of `(.)', namely `abst' In the expression: abst . appl In an equation for `f': f = abst . appl diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr index 9466ee14a7..1410fca369 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr @@ -2,10 +2,11 @@ SimpleFail16.hs:10:12: Couldn't match expected type `F ()' with actual type `p0 a0' The type variables `p0', `a0' are ambiguous - Possible cause: the monomorphism restriction applied to the following: - bar :: p0 a0 (bound at SimpleFail16.hs:10:1) + Possible cause: the monomorphism restriction applied to: `bar' Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction + Relevant bindings include + bar :: p0 a0 (bound at SimpleFail16.hs:10:1) In the first argument of `foo', namely `(undefined :: F ())' In the expression: foo (undefined :: F ()) In an equation for `bar': bar = foo (undefined :: F ()) diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr index 76afd8aedf..124eb7948e 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr @@ -1,10 +1,12 @@ -
-SimpleFail5a.hs:31:11:
- Couldn't match type `a' with `Int'
- `a' is a rigid type variable bound by
- the type signature for bar3wrong :: S3 a -> a
- at SimpleFail5a.hs:30:14
- Expected type: S3 a
- Actual type: S3 Int
- In the pattern: D3Int
- In an equation for `bar3wrong': bar3wrong D3Int = 1
+ +SimpleFail5a.hs:31:11: + Couldn't match type `a' with `Int' + `a' is a rigid type variable bound by + the type signature for bar3wrong :: S3 a -> a + at SimpleFail5a.hs:30:14 + Expected type: S3 a + Actual type: S3 Int + Relevant bindings include + bar3wrong :: S3 a -> a (bound at SimpleFail5a.hs:31:1) + In the pattern: D3Int + In an equation for `bar3wrong': bar3wrong D3Int = 1 diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr index ff0667af2d..7311270168 100644 --- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -1,15 +1,15 @@ -
-T1897b.hs:16:1:
- Could not deduce (Depend a ~ Depend a0)
- from the context (Bug a)
- bound by the inferred type for `isValid':
- Bug a => [Depend a] -> Bool
- at T1897b.hs:16:1-41
- NB: `Depend' is a type function, and may not be injective
- The type variable `a0' is ambiguous
- Possible fix: add a type signature that fixes these type variable(s)
- Expected type: [Depend a] -> Bool
- Actual type: [Depend a0] -> Bool
- When checking that `isValid'
- has the inferred type `forall a. Bug a => [Depend a] -> Bool'
- Probable cause: the inferred type is ambiguous
+ +T1897b.hs:16:1: + Could not deduce (Depend a0 ~ Depend a) + from the context (Bug a) + bound by the inferred type for `isValid': + Bug a => [Depend a] -> Bool + at T1897b.hs:16:1-41 + NB: `Depend' is a type function, and may not be injective + The type variable `a0' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + Expected type: [Depend a] -> Bool + Actual type: [Depend a0] -> Bool + When checking that `isValid' + has the inferred type `forall a. Bug a => [Depend a] -> Bool' + Probable cause: the inferred type is ambiguous diff --git a/testsuite/tests/indexed-types/should_fail/T1900.stderr b/testsuite/tests/indexed-types/should_fail/T1900.stderr index d20a63216b..c170c984d6 100644 --- a/testsuite/tests/indexed-types/should_fail/T1900.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1900.stderr @@ -1,7 +1,6 @@ T1900.hs:11:12: No instance for (Num ()) arising from a use of `+' - Possible fix: add an instance declaration for (Num ()) In the expression: (+ 1) In an equation for `trans': trans = (+ 1) In the instance declaration for `Bug Int' @@ -14,6 +13,9 @@ T1900.hs:14:16: NB: `Depend' is a type function, and may not be injective The type variable `s0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include + check :: Depend s -> Bool (bound at T1900.hs:14:1) + d :: Depend s (bound at T1900.hs:14:7) In the return type of a call of `trans' In the second argument of `(==)', namely `trans d' In the expression: d == trans d diff --git a/testsuite/tests/indexed-types/should_fail/T2239.stderr b/testsuite/tests/indexed-types/should_fail/T2239.stderr index 759ba2babd..d360bfd748 100644 --- a/testsuite/tests/indexed-types/should_fail/T2239.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2239.stderr @@ -17,7 +17,7 @@ T2239.hs:47:13: T2239.hs:50:13: Couldn't match type `forall b1. b1 ~ Bool => b1 -> b1' - with `b -> b' + with `Bool -> Bool' Expected type: (forall b. b ~ Bool => b -> b) -> b -> b Actual type: (forall b. b ~ Bool => b -> b) -> forall b. b ~ Bool => b -> b diff --git a/testsuite/tests/indexed-types/should_fail/T2544.stderr b/testsuite/tests/indexed-types/should_fail/T2544.stderr index b6bc222fa0..bd816720c3 100644 --- a/testsuite/tests/indexed-types/should_fail/T2544.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2544.stderr @@ -1,13 +1,30 @@ -T2544.hs:15:12: - Could not deduce (IxMap r ~ IxMap i1) +T2544.hs:15:18: + Could not deduce (IxMap i0 ~ IxMap l) + from the context (Ix l, Ix r) + bound by the instance declaration at T2544.hs:13:10-37 + NB: `IxMap' is a type function, and may not be injective + The type variable `i0' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + Expected type: IxMap l [Int] + Actual type: IxMap i0 [Int] + Relevant bindings include + empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4) + In the first argument of `BiApp', namely `empty' + In the expression: BiApp empty empty + In an equation for `empty': empty = BiApp empty empty + +T2544.hs:15:24: + Could not deduce (IxMap i1 ~ IxMap r) from the context (Ix l, Ix r) bound by the instance declaration at T2544.hs:13:10-37 NB: `IxMap' is a type function, and may not be injective The type variable `i1' is ambiguous Possible fix: add a type signature that fixes these type variable(s) - Expected type: IxMap (l :|: r) [Int] - Actual type: BiApp (IxMap i0) (IxMap i1) [Int] - In the return type of a call of `BiApp' + Expected type: IxMap r [Int] + Actual type: IxMap i1 [Int] + Relevant bindings include + empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4) + In the second argument of `BiApp', namely `empty' In the expression: BiApp empty empty In an equation for `empty': empty = BiApp empty empty diff --git a/testsuite/tests/indexed-types/should_fail/T2627b.stderr b/testsuite/tests/indexed-types/should_fail/T2627b.stderr index 624cd7e738..0338bf620f 100644 --- a/testsuite/tests/indexed-types/should_fail/T2627b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2627b.stderr @@ -1,13 +1,12 @@ -T2627b.hs:20:14: - Couldn't match type `t0' with `Dual (Dual t0)' - `t0' is untouchable - inside the constraints (b ~ W a2 b2) - bound at a pattern with constructor - Wr :: forall a b. a -> Comm b -> Comm (W a b), - in an equation for `conn' - Expected type: Dual t0 - Actual type: Dual (Dual (Dual t0)) - In the pattern: Wr a r +T2627b.hs:20:24: + Couldn't match expected type `a0' with actual type `Dual (Dual a0)' + `a0' is untouchable + inside the constraints (b ~ W a2 b2) + bound by a pattern with constructor + Wr :: forall a b. a -> Comm b -> Comm (W a b), + in an equation for `conn' + at T2627b.hs:20:14-19 + In the expression: conn undefined undefined In an equation for `conn': conn (Rd k) (Wr a r) = conn undefined undefined diff --git a/testsuite/tests/indexed-types/should_fail/T2664.stderr b/testsuite/tests/indexed-types/should_fail/T2664.stderr index cfd248dc15..07b12e4ea0 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2664.stderr @@ -7,13 +7,16 @@ T2664.hs:31:52: bound by the type signature for newPChan :: ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) => IO (PChan (a :*: b), PChan c) - at T2664.hs:(23,5)-(31,87) + at T2664.hs:23:5-12 `b' is a rigid type variable bound by the instance declaration at T2664.hs:22:10 `a' is a rigid type variable bound by the instance declaration at T2664.hs:22:10 Expected type: Dual (Dual a) Actual type: b + Relevant bindings include + newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5) + v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9) In the third argument of `pchoose', namely `newPChan' In the first argument of `E', namely `(pchoose Right v newPChan)' In the expression: diff --git a/testsuite/tests/indexed-types/should_fail/T2693.stderr b/testsuite/tests/indexed-types/should_fail/T2693.stderr index 4894b895eb..b873cf2171 100644 --- a/testsuite/tests/indexed-types/should_fail/T2693.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2693.stderr @@ -1,16 +1,47 @@ -
-T2693.hs:10:7:
- Couldn't match expected type `TFn a' with actual type `TFn a0'
- NB: `TFn' is a type function, and may not be injective
- The type variable `a0' is ambiguous
- Possible fix: add a type signature that fixes these type variable(s)
- When checking that `x' has the inferred type `forall a. TFn a'
- Probable cause: the inferred type is ambiguous
- In the expression:
- do { let Just x = ...;
- let n = fst x + fst x;
- return () }
- In an equation for `f':
- f = do { let Just x = ...;
- let n = ...;
- return () }
+ +T2693.hs:10:7: + Couldn't match expected type `TFn a' with actual type `TFn a0' + NB: `TFn' is a type function, and may not be injective + The type variable `a0' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + When checking that `x' has the inferred type `forall a. TFn a' + Probable cause: the inferred type is ambiguous + In the expression: + do { let Just x = ...; + let n = fst x + fst x; + return () } + In an equation for `f': + f = do { let Just x = ...; + let n = ...; + return () } + +T2693.hs:18:15: + Couldn't match expected type `(a2, b0)' with actual type `TFn a3' + The type variables `a2', `b0', `a3' are ambiguous + Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include n :: a2 (bound at T2693.hs:18:7) + In the first argument of `fst', namely `x' + In the first argument of `(+)', namely `fst x' + In the expression: fst x + snd x + +T2693.hs:18:23: + Couldn't match expected type `(a4, a2)' with actual type `TFn a5' + The type variables `a2', `a4', `a5' are ambiguous + Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include n :: a2 (bound at T2693.hs:18:7) + In the first argument of `snd', namely `x' + In the second argument of `(+)', namely `snd x' + In the expression: fst x + snd x + +T2693.hs:28:20: + Couldn't match type `TFn a0' with `PVR a1' + The type variables `a0', `a1' are ambiguous + Possible fix: add a type signature that fixes these type variable(s) + Expected type: () -> Maybe (PVR a1) + Actual type: () -> Maybe (TFn a0) + In the first argument of `mapM', namely `g' + In a stmt of a 'do' block: pvs <- mapM g undefined + In the expression: + do { pvs <- mapM g undefined; + let n = (map pvrX pvs) `min` (map pvrX pvs); + undefined } diff --git a/testsuite/tests/indexed-types/should_fail/T3330a.stderr b/testsuite/tests/indexed-types/should_fail/T3330a.stderr index 362c46859f..e44ab4d6f7 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330a.stderr @@ -8,6 +8,10 @@ T3330a.hs:19:34: Expected type: (s0 ix0 -> ix1) -> r ix1 -> Writer [AnyF s] (r'0 ix1) Actual type: s ix + Relevant bindings include + children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) + p :: s ix (bound at T3330a.hs:19:10) + x :: PF s r ix (bound at T3330a.hs:19:12) In the first argument of `hmapM', namely `p' In the first argument of `execWriter', namely `(hmapM p collect x)' In the expression: execWriter (hmapM p collect x) @@ -20,6 +24,10 @@ T3330a.hs:19:34: Expected type: (s0 ix0 -> ix1) -> r ix1 -> Writer [AnyF s] (r'0 ix1) Actual type: s ix + Relevant bindings include + children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) + p :: s ix (bound at T3330a.hs:19:10) + x :: PF s r ix (bound at T3330a.hs:19:12) In the first argument of `hmapM', namely `p' In the first argument of `execWriter', namely `(hmapM p collect x)' In the expression: execWriter (hmapM p collect x) @@ -31,6 +39,10 @@ T3330a.hs:19:44: at T3330a.hs:18:13 Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0)) Actual type: PF s r ix + Relevant bindings include + children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) + p :: s ix (bound at T3330a.hs:19:10) + x :: PF s r ix (bound at T3330a.hs:19:12) In the third argument of `hmapM', namely `x' In the first argument of `execWriter', namely `(hmapM p collect x)' In the expression: execWriter (hmapM p collect x) diff --git a/testsuite/tests/indexed-types/should_fail/T3440.stderr b/testsuite/tests/indexed-types/should_fail/T3440.stderr index ab7c5edf84..55b021b648 100644 --- a/testsuite/tests/indexed-types/should_fail/T3440.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3440.stderr @@ -1,19 +1,23 @@ -
-T3440.hs:11:22:
- Could not deduce (a ~ a1)
- from the context (Fam a ~ Fam a1)
- bound by a pattern with constructor
- GADT :: forall a. a -> Fam a -> GADT (Fam a),
- in an equation for `unwrap'
- at T3440.hs:11:9-16
- `a' is a rigid type variable bound by
- the type signature for unwrap :: GADT (Fam a) -> (a, Fam a)
- at T3440.hs:10:11
- `a1' is a rigid type variable bound by
- a pattern with constructor
- GADT :: forall a. a -> Fam a -> GADT (Fam a),
- in an equation for `unwrap'
- at T3440.hs:11:9
- In the expression: x
- In the expression: (x, y)
- In an equation for `unwrap': unwrap (GADT x y) = (x, y)
+ +T3440.hs:11:22: + Could not deduce (a ~ a1) + from the context (Fam a ~ Fam a1) + bound by a pattern with constructor + GADT :: forall a. a -> Fam a -> GADT (Fam a), + in an equation for `unwrap' + at T3440.hs:11:9-16 + `a' is a rigid type variable bound by + the type signature for unwrap :: GADT (Fam a) -> (a, Fam a) + at T3440.hs:10:11 + `a1' is a rigid type variable bound by + a pattern with constructor + GADT :: forall a. a -> Fam a -> GADT (Fam a), + in an equation for `unwrap' + at T3440.hs:11:9 + Relevant bindings include + unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1) + x :: a1 (bound at T3440.hs:11:14) + y :: Fam a1 (bound at T3440.hs:11:16) + In the expression: x + In the expression: (x, y) + In an equation for `unwrap': unwrap (GADT x y) = (x, y) diff --git a/testsuite/tests/indexed-types/should_fail/T4093a.stderr b/testsuite/tests/indexed-types/should_fail/T4093a.stderr index 4a16563d9d..5a5ce0826d 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093a.stderr @@ -1,14 +1,15 @@ -
-T4093a.hs:8:8:
- Could not deduce (e ~ ())
- from the context (Foo e ~ Maybe e)
- bound by the type signature for hang :: Foo e ~ Maybe e => Foo e
- at T4093a.hs:7:9-34
- `e' is a rigid type variable bound by
- the type signature for hang :: Foo e ~ Maybe e => Foo e
- at T4093a.hs:7:9
- Expected type: Foo e
- Actual type: Maybe ()
- In the return type of a call of `Just'
- In the expression: Just ()
- In an equation for `hang': hang = Just ()
+ +T4093a.hs:8:8: + Could not deduce (e ~ ()) + from the context (Foo e ~ Maybe e) + bound by the type signature for hang :: Foo e ~ Maybe e => Foo e + at T4093a.hs:7:9-34 + `e' is a rigid type variable bound by + the type signature for hang :: Foo e ~ Maybe e => Foo e + at T4093a.hs:7:9 + Expected type: Foo e + Actual type: Maybe () + Relevant bindings include hang :: Foo e (bound at T4093a.hs:8:1) + In the return type of a call of `Just' + In the expression: Just () + In an equation for `hang': hang = Just () diff --git a/testsuite/tests/indexed-types/should_fail/T4093b.stderr b/testsuite/tests/indexed-types/should_fail/T4093b.stderr index 948ba565df..67f9b7d924 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093b.stderr @@ -16,6 +16,15 @@ T4093b.hs:31:13: at T4093b.hs:20:12 Expected type: EitherCO e (A C O n) (A O O n) Actual type: (MaybeC C (n C O), MaybeC O (n O C)) + Relevant bindings include + blockToNodeList :: Block n e x -> A e x n (bound at T4093b.hs:25:1) + b :: Block n e x (bound at T4093b.hs:25:17) + l :: n O C + -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C C n) (A O C n) + (bound at T4093b.hs:34:5) + f :: n C O + -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C O n) (A O O n) + (bound at T4093b.hs:31:5) In the expression: (JustC n, NothingC) In an equation for `f': f n _ = (JustC n, NothingC) In an equation for `blockToNodeList': diff --git a/testsuite/tests/indexed-types/should_fail/T4099.stderr b/testsuite/tests/indexed-types/should_fail/T4099.stderr index 3512e321bd..74410ec108 100644 --- a/testsuite/tests/indexed-types/should_fail/T4099.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4099.stderr @@ -4,6 +4,9 @@ T4099.hs:11:14: NB: `T' is a type function, and may not be injective The type variable `a0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include + bar1 :: T b -> Int (bound at T4099.hs:11:1) + x :: T b (bound at T4099.hs:11:6) In the first argument of `foo', namely `x' In the expression: foo x In an equation for `bar1': bar1 x = foo x @@ -12,6 +15,9 @@ T4099.hs:14:14: Couldn't match expected type `T a1' with actual type `Maybe b' The type variable `a1' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include + bar2 :: Maybe b -> Int (bound at T4099.hs:14:1) + x :: Maybe b (bound at T4099.hs:14:6) In the first argument of `foo', namely `x' In the expression: foo x In an equation for `bar2': bar2 x = foo x diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index 45fbdaf03f..7236a50c88 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -13,6 +13,9 @@ T4179.hs:26:16: Actual type: x (A2 (FCon x) -> A3 (FCon x)) -> A2 (x (A2 (FCon x) -> A3 (FCon x))) -> A3 (x (A2 (FCon x) -> A3 (FCon x))) + Relevant bindings include + fCon :: Con x -> A2 (FCon x) -> A3 (FCon x) + (bound at T4179.hs:26:1) In the first argument of `foldDoC', namely `op' In the expression: foldDoC op In an equation for `fCon': fCon = foldDoC op diff --git a/testsuite/tests/indexed-types/should_fail/T4272.stderr b/testsuite/tests/indexed-types/should_fail/T4272.stderr index 01f01267f7..a4e952556b 100644 --- a/testsuite/tests/indexed-types/should_fail/T4272.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4272.stderr @@ -10,6 +10,9 @@ T4272.hs:15:26: at T4272.hs:14:16 Expected type: TermFamily a (TermFamily a a) Actual type: TermFamily a a + Relevant bindings include + laws :: TermFamily a a -> b (bound at T4272.hs:15:1) + t :: TermFamily a a (bound at T4272.hs:15:6) In the first argument of `terms', namely `(undefined :: TermFamily a a)' In the second argument of `prune', namely diff --git a/testsuite/tests/indexed-types/should_fail/T5439.stderr b/testsuite/tests/indexed-types/should_fail/T5439.stderr index 4d8742c955..81453a0f54 100644 --- a/testsuite/tests/indexed-types/should_fail/T5439.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5439.stderr @@ -1,9 +1,18 @@ T5439.hs:83:28: - Couldn't match type `Attempt (WaitOpResult (WaitOps rs))' - with `Attempt (HNth n0 l0) -> Attempt (HElemOf l0)' + Couldn't match type `Attempt t0 -> Attempt (HElemOf l0)' + with `Attempt (HElemOf rs)' Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0)) Actual type: f (Attempt (WaitOpResult (WaitOps rs))) + Relevant bindings include + registerWaitOp :: WaitOps rs + -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool + (bound at T5439.hs:62:3) + ops :: WaitOps rs (bound at T5439.hs:62:18) + ev :: f (Attempt (WaitOpResult (WaitOps rs))) + (bound at T5439.hs:62:22) + register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool + (bound at T5439.hs:65:9) In the first argument of `complete', namely `ev' In the expression: complete ev In a stmt of a 'do' block: diff --git a/testsuite/tests/indexed-types/should_fail/T5934.stderr b/testsuite/tests/indexed-types/should_fail/T5934.stderr index 4ec24d3cc9..bb32907e73 100644 --- a/testsuite/tests/indexed-types/should_fail/T5934.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5934.stderr @@ -2,7 +2,5 @@ T5934.hs:10:7: No instance for (Num ((forall s. GenST s) -> Int)) arising from the literal `0' - Possible fix: - add an instance declaration for (Num ((forall s. GenST s) -> Int)) In the expression: 0 In an equation for `run': run = 0 diff --git a/testsuite/tests/indexed-types/should_fail/T6123.stderr b/testsuite/tests/indexed-types/should_fail/T6123.stderr index c389866677..0a82222f61 100644 --- a/testsuite/tests/indexed-types/should_fail/T6123.stderr +++ b/testsuite/tests/indexed-types/should_fail/T6123.stderr @@ -2,9 +2,10 @@ T6123.hs:10:14: Couldn't match expected type `a0' with actual type `Id a0' The type variable `a0' is ambiguous - Possible cause: the monomorphism restriction applied to the following: - cundefined :: a0 (bound at T6123.hs:10:1) + Possible cause: the monomorphism restriction applied to: + `cundefined' Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction + Relevant bindings include cundefined :: a0 (bound at T6123.hs:10:1) In the expression: cid undefined In an equation for `cundefined': cundefined = cid undefined diff --git a/testsuite/tests/mdo/should_fail/mdofail001.stderr b/testsuite/tests/mdo/should_fail/mdofail001.stderr index e20d82ad49..67929e58ed 100644 --- a/testsuite/tests/mdo/should_fail/mdofail001.stderr +++ b/testsuite/tests/mdo/should_fail/mdofail001.stderr @@ -1,8 +1,6 @@ -
-mdofail001.hs:10:32:
- No instance for (Num Char)
- arising from the literal `1'
- Possible fix: add an instance declaration for (Num Char)
- In the expression: 1
- In the first argument of `l', namely `[1, 2, 3]'
- In the expression: l [1, 2, 3]
+ +mdofail001.hs:10:32: + No instance for (Num Char) arising from the literal `1' + In the expression: 1 + In the first argument of `l', namely `[1, 2, 3]' + In the expression: l [1, 2, 3] diff --git a/testsuite/tests/module/mod46.stderr b/testsuite/tests/module/mod46.stderr index 603d0d6e79..c4c8203266 100644 --- a/testsuite/tests/module/mod46.stderr +++ b/testsuite/tests/module/mod46.stderr @@ -2,5 +2,4 @@ mod46.hs:4:10: No instance for (Eq T) arising from the superclasses of an instance declaration - Possible fix: add an instance declaration for (Eq T) In the instance declaration for `Ord T' diff --git a/testsuite/tests/parser/should_fail/readFail003.stderr b/testsuite/tests/parser/should_fail/readFail003.stderr index fe8ce00577..ae3518eeed 100644 --- a/testsuite/tests/parser/should_fail/readFail003.stderr +++ b/testsuite/tests/parser/should_fail/readFail003.stderr @@ -1,7 +1,11 @@ readFail003.hs:4:27: Occurs check: cannot construct the infinite type: - t0 = (t0, [a0], [a1]) + t ~ (t, [a], [a1]) + Relevant bindings include + c :: [a1] (bound at readFail003.hs:4:7) + b :: [a] (bound at readFail003.hs:4:5) + a :: t (bound at readFail003.hs:4:3) In the expression: a In a pattern binding: ~(a, b, c) @@ -13,7 +17,11 @@ readFail003.hs:4:27: readFail003.hs:5:27: Occurs check: cannot construct the infinite type: - t0 = (t0, [a0], [a1]) + t ~ (t, [a], [a1]) + Relevant bindings include + c :: [a1] (bound at readFail003.hs:4:7) + b :: [a] (bound at readFail003.hs:4:5) + a :: t (bound at readFail003.hs:4:3) In the expression: a In a pattern binding: ~(a, b, c) @@ -25,7 +33,11 @@ readFail003.hs:5:27: readFail003.hs:6:27: Occurs check: cannot construct the infinite type: - t0 = (t0, [a0], [a1]) + t ~ (t, [a], [a1]) + Relevant bindings include + c :: [a1] (bound at readFail003.hs:4:7) + b :: [a] (bound at readFail003.hs:4:5) + a :: t (bound at readFail003.hs:4:3) In the expression: a In a pattern binding: ~(a, b, c) diff --git a/testsuite/tests/polykinds/T6054.stderr b/testsuite/tests/polykinds/T6054.stderr index 9b190ce4d8..8270f4dd4b 100644 --- a/testsuite/tests/polykinds/T6054.stderr +++ b/testsuite/tests/polykinds/T6054.stderr @@ -2,7 +2,8 @@ T6054.hs:7:14: No instance for (Bar () '() a0) arising from an expression type signature - Possible fix: add an instance declaration for (Bar () '() a0) + The type variable `a0' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) In the first argument of `print', namely `(Proxy :: Bar () a => Proxy a)' In the expression: print (Proxy :: Bar () a => Proxy a) diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index ee82a2bb19..3bcccee8f2 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -20,6 +20,9 @@ T7230.hs:48:32: at T7230.hs:48:17-26 Expected type: SBool (Increasing xs) Actual type: SBool (x :<<= x1) + Relevant bindings include + x :: Sing Nat x (bound at T7230.hs:48:14) + y :: Sing Nat x1 (bound at T7230.hs:48:23) In the expression: x %:<<= y In an equation for `crash': crash (SCons x (SCons y xs)) = x %:<<= y diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index f380db4446..5130968c02 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -4,11 +4,14 @@ rebindable6.hs:106:17: arising from a do statement The type variable `t0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include + test_do :: IO a -> IO (Maybe b) -> IO b + (bound at rebindable6.hs:104:9) + f :: IO a (bound at rebindable6.hs:104:17) + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) Note: there is a potential instance available: instance HasSeq (IO a -> IO b -> IO b) -- Defined at rebindable6.hs:52:18 - Possible fix: - add an instance declaration for (HasSeq (IO a -> t0 -> IO b)) In a stmt of a 'do' block: f In the expression: do { f; @@ -25,12 +28,13 @@ rebindable6.hs:107:17: arising from a do statement The type variables `t0', `t1' are ambiguous Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include + test_do :: IO a -> IO (Maybe b) -> IO b + (bound at rebindable6.hs:104:9) + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) Note: there is a potential instance available: instance HasBind (IO a -> (a -> IO b) -> IO b) -- Defined at rebindable6.hs:47:18 - Possible fix: - add an instance declaration for - (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0)) In a stmt of a 'do' block: Just (b :: b) <- g In the expression: do { f; @@ -47,9 +51,13 @@ rebindable6.hs:108:17: arising from a use of `return' The type variable `t1' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include + test_do :: IO a -> IO (Maybe b) -> IO b + (bound at rebindable6.hs:104:9) + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) + b :: b (bound at rebindable6.hs:107:23) Note: there is a potential instance available: instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:42:18 - Possible fix: add an instance declaration for (HasReturn (b -> t1)) In a stmt of a 'do' block: return b In the expression: do { f; diff --git a/testsuite/tests/safeHaskell/ghci/p15.stderr b/testsuite/tests/safeHaskell/ghci/p15.stderr index 30c24471f7..bc1069c87f 100644 --- a/testsuite/tests/safeHaskell/ghci/p15.stderr +++ b/testsuite/tests/safeHaskell/ghci/p15.stderr @@ -4,7 +4,6 @@ <interactive>:22:22: No instance for (Typeable G) arising from a use of `cast' - Possible fix: add an instance declaration for (Typeable G) In the expression: (cast y) :: Maybe H In a pattern binding: (Just y_as_H) = (cast y) :: Maybe H diff --git a/testsuite/tests/simplCore/should_compile/simpl017.stderr b/testsuite/tests/simplCore/should_compile/simpl017.stderr index 497bc8b51a..334691d2c2 100644 --- a/testsuite/tests/simplCore/should_compile/simpl017.stderr +++ b/testsuite/tests/simplCore/should_compile/simpl017.stderr @@ -2,6 +2,12 @@ simpl017.hs:44:12: Couldn't match expected type `forall v. [E m i] -> E' v m a' with actual type `[E m i] -> E' v0 m a' + Relevant bindings include + liftArray :: arr i a -> E m (forall v. [E m i] -> E' v m a) + (bound at simpl017.hs:39:1) + a :: arr i a (bound at simpl017.hs:39:11) + ix :: [E m i] -> m i (bound at simpl017.hs:41:9) + f :: [E m i] -> E' v0 m a (bound at simpl017.hs:43:9) In the first argument of `return', namely `f' In a stmt of a 'do' block: return f In the first argument of `E', namely @@ -12,16 +18,32 @@ simpl017.hs:44:12: return f })' simpl017.hs:63:5: - Couldn't match expected type `[E (ST t0) Int] -> E (ST s) Int' - with actual type `forall v. [E (ST s) Int] -> E' v (ST s) Int' + Couldn't match type `forall v. + [E' RValue (ST s) Int] -> E' v (ST s) Int' + with `[E (ST t0) Int] -> E' RValue (ST s) Int' + Expected type: [E (ST t0) Int] -> E (ST s) Int + Actual type: forall v. [E (ST s) Int] -> E' v (ST s) Int + Relevant bindings include + foo :: STArray s Int Int -> ST s Int (bound at simpl017.hs:59:1) + ma :: STArray s Int Int (bound at simpl017.hs:59:5) + a :: forall v. [E (ST s) Int] -> E' v (ST s) Int + (bound at simpl017.hs:60:5) The function `a' is applied to one argument, but its type `forall v. [E (ST s) Int] -> E' v (ST s) Int' has none In the first argument of `plus', namely `a [one]' In a stmt of a 'do' block: a [one] `plus` a [one] simpl017.hs:63:19: - Couldn't match expected type `[E (ST t1) Int] -> E (ST s) Int' - with actual type `forall v. [E (ST s) Int] -> E' v (ST s) Int' + Couldn't match type `forall v. + [E' RValue (ST s) Int] -> E' v (ST s) Int' + with `[E (ST t1) Int] -> E' RValue (ST s) Int' + Expected type: [E (ST t1) Int] -> E (ST s) Int + Actual type: forall v. [E (ST s) Int] -> E' v (ST s) Int + Relevant bindings include + foo :: STArray s Int Int -> ST s Int (bound at simpl017.hs:59:1) + ma :: STArray s Int Int (bound at simpl017.hs:59:5) + a :: forall v. [E (ST s) Int] -> E' v (ST s) Int + (bound at simpl017.hs:60:5) The function `a' is applied to one argument, but its type `forall v. [E (ST s) Int] -> E' v (ST s) Int' has none In the second argument of `plus', namely `a [one]' diff --git a/testsuite/tests/typecheck/should_compile/FD1.stderr b/testsuite/tests/typecheck/should_compile/FD1.stderr index ea6833b2b7..fdeb30e42d 100644 --- a/testsuite/tests/typecheck/should_compile/FD1.stderr +++ b/testsuite/tests/typecheck/should_compile/FD1.stderr @@ -1,12 +1,13 @@ -
-FD1.hs:16:1:
- Could not deduce (a ~ (Int -> Int))
- from the context (E a (Int -> Int))
- bound by the type signature for
- plus :: E a (Int -> Int) => Int -> a
- at FD1.hs:15:9-38
- `a' is a rigid type variable bound by
- the type signature for plus :: E a (Int -> Int) => Int -> a
- at FD1.hs:15:9
- The equation(s) for `plus' have two arguments,
- but its type `Int -> a' has only one
+ +FD1.hs:16:1: + Could not deduce (a ~ (Int -> Int)) + from the context (E a (Int -> Int)) + bound by the type signature for + plus :: E a (Int -> Int) => Int -> a + at FD1.hs:15:9-38 + `a' is a rigid type variable bound by + the type signature for plus :: E a (Int -> Int) => Int -> a + at FD1.hs:15:9 + Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1) + The equation(s) for `plus' have two arguments, + but its type `Int -> a' has only one diff --git a/testsuite/tests/typecheck/should_compile/FD2.stderr b/testsuite/tests/typecheck/should_compile/FD2.stderr index 47221c5b00..d23dd33e65 100644 --- a/testsuite/tests/typecheck/should_compile/FD2.stderr +++ b/testsuite/tests/typecheck/should_compile/FD2.stderr @@ -20,6 +20,12 @@ FD2.hs:26:34: the type signature for foldr1 :: Elem a e => (e -> e -> e) -> a -> e at FD2.hs:21:13 + Relevant bindings include + foldr1 :: (e -> e -> e) -> a -> e (bound at FD2.hs:22:3) + f :: e -> e -> e (bound at FD2.hs:22:10) + mf :: e1 -> Maybe e1 -> Maybe e1 (bound at FD2.hs:25:12) + x :: e1 (bound at FD2.hs:26:15) + y :: e1 (bound at FD2.hs:26:23) In the return type of a call of `f' In the first argument of `Just', namely `(f x y)' In the expression: Just (f x y) diff --git a/testsuite/tests/typecheck/should_compile/T2494.stderr b/testsuite/tests/typecheck/should_compile/T2494.stderr index 2e943ac0a5..bbb8d0c946 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.stderr +++ b/testsuite/tests/typecheck/should_compile/T2494.stderr @@ -1,24 +1,36 @@ T2494.hs:15:14: - Couldn't match type `b' with `a' - `b' is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:14:16 + Couldn't match type `a' with `b' `a' is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:13:16 + `b' is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:14:16 Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) + Relevant bindings include + x :: Maybe a (bound at T2494.hs:14:65) + g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b) + (bound at T2494.hs:14:11) + f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a) + (bound at T2494.hs:13:11) In the first argument of `foo', namely `g' In the second argument of `foo', namely `(foo g x)' In the expression: foo f (foo g x) T2494.hs:15:30: - Couldn't match type `b' with `a' - `b' is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:14:16 + Couldn't match type `a' with `b' `a' is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:13:16 + `b' is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:14:16 Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) + Relevant bindings include + x :: Maybe a (bound at T2494.hs:14:65) + g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b) + (bound at T2494.hs:14:11) + f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a) + (bound at T2494.hs:13:11) In the second argument of `(.)', namely `g' In the first argument of `foo', namely `(f . g)' In the expression: foo (f . g) x diff --git a/testsuite/tests/typecheck/should_compile/tc141.stderr b/testsuite/tests/typecheck/should_compile/tc141.stderr index a22689b10f..1942963d3b 100644 --- a/testsuite/tests/typecheck/should_compile/tc141.stderr +++ b/testsuite/tests/typecheck/should_compile/tc141.stderr @@ -12,6 +12,11 @@ tc141.hs:11:31: an expression type signature: a1 at tc141.hs:11:31 `a' is a rigid type variable bound by the inferred type of f :: (a, a) -> (t, a) at tc141.hs:11:1 + Relevant bindings include + f :: (a, a) -> (t, a) (bound at tc141.hs:11:1) + x :: (a, a) (bound at tc141.hs:11:3) + q :: a (bound at tc141.hs:11:17) + p :: a (bound at tc141.hs:11:12) In the expression: q :: a In the expression: (q :: a, p) In the expression: let (p :: a, q :: a) = x in (q :: a, p) @@ -34,6 +39,10 @@ tc141.hs:15:18: the type signature for v :: a2 at tc141.hs:14:19 `t' is a rigid type variable bound by the inferred type of g :: a -> t -> a1 at tc141.hs:13:1 + Relevant bindings include + g :: a -> t -> a1 (bound at tc141.hs:13:1) + b :: t (bound at tc141.hs:13:5) + v :: a2 (bound at tc141.hs:15:14) In the expression: b In an equation for `v': v = b In the expression: diff --git a/testsuite/tests/typecheck/should_compile/tc168.stderr b/testsuite/tests/typecheck/should_compile/tc168.stderr index cbaa0aceeb..8c0c81330f 100644 --- a/testsuite/tests/typecheck/should_compile/tc168.stderr +++ b/testsuite/tests/typecheck/should_compile/tc168.stderr @@ -7,7 +7,6 @@ tc168.hs:17:1: at tc168.hs:17:1-16 The type variable `b0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) - Possible fix: add an instance declaration for (C a1 (a, b0)) When checking that `g' has the inferred type `forall a b a1. C a1 (a, b) => a1 -> a' Probable cause: the inferred type is ambiguous diff --git a/testsuite/tests/typecheck/should_compile/tc211.stderr b/testsuite/tests/typecheck/should_compile/tc211.stderr index e6c5675422..3fc5e256a6 100644 --- a/testsuite/tests/typecheck/should_compile/tc211.stderr +++ b/testsuite/tests/typecheck/should_compile/tc211.stderr @@ -14,9 +14,9 @@ tc211.hs:15:22: (head foo) foo tc211.hs:70:9: - Couldn't match type `forall a1. a1 -> a1' with `a -> a' + Couldn't match type `forall a2. a2 -> a2' with `a1 -> a1' Expected type: List (forall a. a -> a) - -> (forall a. a -> a) -> a -> a + -> (forall a. a -> a) -> a1 -> a1 Actual type: List (forall a. a -> a) -> (forall a. a -> a) -> forall a. a -> a In the expression: diff --git a/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr b/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr index 8a942de483..60a334232e 100644 --- a/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr +++ b/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr @@ -1,12 +1,14 @@ FDsFromGivens.hs:21:15: - Couldn't match type `Char' with `[a0]' + Couldn't match type `Char' with `[a]' + Relevant bindings include + bar :: KCC -> a -> a (bound at FDsFromGivens.hs:21:1) When using functional dependencies to combine C Char Char, arising from a pattern with constructor KCC :: C Char Char => () -> KCC, in an equation for `bar' at FDsFromGivens.hs:21:6-10 - C Char [a0], arising from a use of `f' at FDsFromGivens.hs:21:15 + C Char [a], arising from a use of `f' at FDsFromGivens.hs:21:15 In the expression: f In an equation for `bar': bar (KCC _) = f diff --git a/testsuite/tests/typecheck/should_fail/IPFail.stderr b/testsuite/tests/typecheck/should_fail/IPFail.stderr index efad8b3d56..d8efdfec56 100644 --- a/testsuite/tests/typecheck/should_fail/IPFail.stderr +++ b/testsuite/tests/typecheck/should_fail/IPFail.stderr @@ -4,7 +4,6 @@ IPFail.hs:6:18: from the context (?x::Int) bound by the type signature for f0 :: (?x::Int) => () -> Bool at IPFail.hs:5:7-31 - Possible fix: add an instance declaration for (Num Bool) In the expression: 5 In the expression: let ?x = 5 in ?x In an equation for `f0': f0 () = let ?x = 5 in ?x diff --git a/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr b/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr index 7cc45560c9..fbd0b44868 100644 --- a/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr +++ b/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr @@ -1,9 +1,7 @@ -
-LongWayOverlapping.hs:23:11:
- No instance for (EmbAsChild [Char] Char)
- arising from a use of `emb'
- Possible fix:
- add an instance declaration for (EmbAsChild [Char] Char)
- In the expression: emb 'c'
- In an equation for `emb': emb _ = emb 'c'
- In the instance declaration for `EmbAsChild [Char] Bool'
+ +LongWayOverlapping.hs:23:11: + No instance for (EmbAsChild [Char] Char) + arising from a use of `emb' + In the expression: emb 'c' + In an equation for `emb': emb _ = emb 'c' + In the instance declaration for `EmbAsChild [Char] Bool' diff --git a/testsuite/tests/typecheck/should_fail/SCLoop.stderr b/testsuite/tests/typecheck/should_fail/SCLoop.stderr index 277b84a7b9..37970cc737 100644 --- a/testsuite/tests/typecheck/should_fail/SCLoop.stderr +++ b/testsuite/tests/typecheck/should_fail/SCLoop.stderr @@ -1,7 +1,5 @@ SCLoop.hs:22:7: - No instance for (SC ()) - arising from a use of `op' - Possible fix: add an instance declaration for (SC ()) + No instance for (SC ()) arising from a use of `op' In the expression: op () ([Just True]) In an equation for `foo': foo = op () ([Just True]) diff --git a/testsuite/tests/typecheck/should_fail/T1899.stderr b/testsuite/tests/typecheck/should_fail/T1899.stderr index d7ab2be5ed..0838984c2f 100644 --- a/testsuite/tests/typecheck/should_fail/T1899.stderr +++ b/testsuite/tests/typecheck/should_fail/T1899.stderr @@ -4,6 +4,9 @@ T1899.hs:12:29: `a' is a rigid type variable bound by the type signature for transRHS :: [a] -> Int -> Constraint a at T1899.hs:9:14 + Relevant bindings include + transRHS :: [a] -> Int -> Constraint a (bound at T1899.hs:10:2) + varSet :: [a] (bound at T1899.hs:10:11) In the return type of a call of `Auxiliary' In the first argument of `Prop', namely `(Auxiliary undefined)' In the expression: Prop (Auxiliary undefined) diff --git a/testsuite/tests/typecheck/should_fail/T2414.stderr b/testsuite/tests/typecheck/should_fail/T2414.stderr index 5fa8f0060a..53ea2b11e3 100644 --- a/testsuite/tests/typecheck/should_fail/T2414.stderr +++ b/testsuite/tests/typecheck/should_fail/T2414.stderr @@ -1,6 +1,6 @@ T2414.hs:9:13: - Occurs check: cannot construct the infinite type: b0 = (Bool, b0) + Occurs check: cannot construct the infinite type: b0 ~ (Bool, b0) Expected type: b0 -> Maybe (Bool, b0) Actual type: b0 -> Maybe b0 In the first argument of `unfoldr', namely `Just' diff --git a/testsuite/tests/typecheck/should_fail/T2534.stderr b/testsuite/tests/typecheck/should_fail/T2534.stderr index bf19e68d04..8943b979ac 100644 --- a/testsuite/tests/typecheck/should_fail/T2534.stderr +++ b/testsuite/tests/typecheck/should_fail/T2534.stderr @@ -1,7 +1,8 @@ T2534.hs:3:19: - Couldn't match expected type `a0 -> a0 -> b0' - with actual type `[a1]' + Couldn't match expected type `a -> a -> b' with actual type `[a0]' + Relevant bindings include + foo :: a -> a -> b (bound at T2534.hs:3:1) In the second argument of `foldr', namely `[]' In the expression: foldr (>>=) [] [] In an equation for `foo': foo = foldr (>>=) [] [] diff --git a/testsuite/tests/typecheck/should_fail/T2688.stderr b/testsuite/tests/typecheck/should_fail/T2688.stderr index aa896569b9..b937de07b1 100644 --- a/testsuite/tests/typecheck/should_fail/T2688.stderr +++ b/testsuite/tests/typecheck/should_fail/T2688.stderr @@ -8,6 +8,10 @@ T2688.hs:8:22: the class declaration for `VectorSpace' at T2688.hs:5:19 `s' is a rigid type variable bound by the class declaration for `VectorSpace' at T2688.hs:5:21 + Relevant bindings include + ^/ :: v -> s -> v (bound at T2688.hs:8:5) + v :: v (bound at T2688.hs:8:5) + s :: s (bound at T2688.hs:8:10) In the second argument of `(/)', namely `s' In the second argument of `(*^)', namely `(1 / s)' In the expression: v *^ (1 / s) diff --git a/testsuite/tests/typecheck/should_fail/T2714.stderr b/testsuite/tests/typecheck/should_fail/T2714.stderr index b8d6ae3646..68056509c7 100644 --- a/testsuite/tests/typecheck/should_fail/T2714.stderr +++ b/testsuite/tests/typecheck/should_fail/T2714.stderr @@ -6,6 +6,8 @@ T2714.hs:8:5: at T2714.hs:8:1 Expected type: ((a -> b) -> b) -> c -> a Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b + Relevant bindings include + f :: ((a -> b) -> b) -> forall c. c -> a (bound at T2714.hs:8:1) In the expression: ffmap In an equation for `f': f = ffmap @@ -16,5 +18,7 @@ T2714.hs:8:5: at T2714.hs:7:6 Expected type: ((a -> b) -> b) -> c -> a Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b + Relevant bindings include + f :: ((a -> b) -> b) -> forall c. c -> a (bound at T2714.hs:8:1) In the expression: ffmap In an equation for `f': f = ffmap diff --git a/testsuite/tests/typecheck/should_fail/T2846b.stderr b/testsuite/tests/typecheck/should_fail/T2846b.stderr index 56b1a13ab0..b70c4d1a0d 100644 --- a/testsuite/tests/typecheck/should_fail/T2846b.stderr +++ b/testsuite/tests/typecheck/should_fail/T2846b.stderr @@ -1,6 +1,5 @@ T2846b.hs:5:5: No instance for (Show (Num a0 => a0)) arising from a use of `show' - Possible fix: add an instance declaration for (Show (Num a0 => a0)) In the expression: show ([1, 2, 3] :: [Num a => a]) In an equation for `f': f = show ([1, 2, 3] :: [Num a => a]) diff --git a/testsuite/tests/typecheck/should_fail/T3592.stderr b/testsuite/tests/typecheck/should_fail/T3592.stderr index 477c3aa675..08a02ce8a2 100644 --- a/testsuite/tests/typecheck/should_fail/T3592.stderr +++ b/testsuite/tests/typecheck/should_fail/T3592.stderr @@ -1,7 +1,6 @@ T3592.hs:8:5: No instance for (Show (T a)) arising from a use of `show' - Possible fix: add an instance declaration for (Show (T a)) In the expression: show In an equation for `f': f = show diff --git a/testsuite/tests/typecheck/should_fail/T5300.stderr b/testsuite/tests/typecheck/should_fail/T5300.stderr index 272f8b5762..728655f88a 100644 --- a/testsuite/tests/typecheck/should_fail/T5300.stderr +++ b/testsuite/tests/typecheck/should_fail/T5300.stderr @@ -8,6 +8,9 @@ T5300.hs:15:9: at T5300.hs:14:7-69 The type variable `c0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include + f2 :: a1 -> StateT (T b2) m a2 (bound at T5300.hs:15:1) + fm :: a1 (bound at T5300.hs:15:4) In the first argument of `(>>=)', namely `f1 fm' In the expression: f1 fm >>= return . undefined In an equation for `f2': f2 fm = f1 fm >>= return . undefined diff --git a/testsuite/tests/typecheck/should_fail/T5570.stderr b/testsuite/tests/typecheck/should_fail/T5570.stderr index 9daf268168..e69cbd588a 100644 --- a/testsuite/tests/typecheck/should_fail/T5570.stderr +++ b/testsuite/tests/typecheck/should_fail/T5570.stderr @@ -1,6 +1,6 @@ -
-T5570.hs:7:16:
- Couldn't match kind `#' against `*'
- In the second argument of `($)', namely `D# $ 3.0##'
- In the expression: print $ D# $ 3.0##
- In an equation for `main': main = print $ D# $ 3.0##
+ +T5570.hs:7:16: + Couldn't match expected kind `*' with actual kind `#' + In the second argument of `($)', namely `D# $ 3.0##' + In the expression: print $ D# $ 3.0## + In an equation for `main': main = print $ D# $ 3.0## diff --git a/testsuite/tests/typecheck/should_fail/T5684.stderr b/testsuite/tests/typecheck/should_fail/T5684.stderr index 0aa8b17973..c0575fd5a3 100644 --- a/testsuite/tests/typecheck/should_fail/T5684.stderr +++ b/testsuite/tests/typecheck/should_fail/T5684.stderr @@ -1,10 +1,78 @@ -
-T5684.hs:53:12:
- No instance for (A Bool)
- arising from a use of `op'
- Possible fix: add an instance declaration for (A Bool)
- In the expression: op False False
- In the expression:
- [op True undefined, op False False, op 'c' undefined]
- In an equation for `flop6':
- flop6 = [op True undefined, op False False, op 'c' undefined]
+ +T5684.hs:25:12: + No instance for (A b6) arising from a use of `op' + The type variable `b6' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + In the expression: op True undefined + In the expression: + [op False False, op 'c' undefined, op True undefined] + In an equation for `flop1': + flop1 = [op False False, op 'c' undefined, op True undefined] + +T5684.hs:30:12: + No instance for (A b5) arising from a use of `op' + The type variable `b5' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + In the expression: op True undefined + In the expression: + [op False False, op True undefined, op 'c' undefined] + In an equation for `flop2': + flop2 = [op False False, op True undefined, op 'c' undefined] + +T5684.hs:36:12: + No instance for (A b4) arising from a use of `op' + The type variable `b4' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + In the expression: op True undefined + In the expression: + [op 'c' undefined, op True undefined, op False False] + In an equation for `flop3': + flop3 = [op 'c' undefined, op True undefined, op False False] + +T5684.hs:42:12: + No instance for (A b3) arising from a use of `op' + The type variable `b3' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + In the expression: op True undefined + In the expression: + [op 'c' undefined, op False False, op True undefined] + In an equation for `flop4': + flop4 = [op 'c' undefined, op False False, op True undefined] + +T5684.hs:46:12: + No instance for (A b2) arising from a use of `op' + The type variable `b2' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + In the expression: op True undefined + In the expression: + [op True undefined, op 'c' undefined, op False False] + In an equation for `flop5': + flop5 = [op True undefined, op 'c' undefined, op False False] + +T5684.hs:52:12: + No instance for (A b0) arising from a use of `op' + The type variable `b0' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + In the expression: op True undefined + In the expression: + [op True undefined, op False False, op 'c' undefined] + In an equation for `flop6': + flop6 = [op True undefined, op False False, op 'c' undefined] + +T5684.hs:53:12: + No instance for (A Bool) arising from a use of `op' + In the expression: op False False + In the expression: + [op True undefined, op False False, op 'c' undefined] + In an equation for `flop6': + flop6 = [op True undefined, op False False, op 'c' undefined] + +T5684.hs:54:12: + No instance for (B Char b1) arising from a use of `op' + The type variable `b1' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + In the expression: op 'c' undefined + In the expression: + [op True undefined, op False False, op 'c' undefined] + In an equation for `flop6': + flop6 = [op True undefined, op False False, op 'c' undefined] diff --git a/testsuite/tests/typecheck/should_fail/T5689.stderr b/testsuite/tests/typecheck/should_fail/T5689.stderr index 28f9c01940..48e923bd65 100644 --- a/testsuite/tests/typecheck/should_fail/T5689.stderr +++ b/testsuite/tests/typecheck/should_fail/T5689.stderr @@ -1,6 +1,9 @@ T5689.hs:10:36: Couldn't match expected type `t' with actual type `Bool' + Relevant bindings include + r :: IORef (t -> t) (bound at T5689.hs:7:14) + v :: t (bound at T5689.hs:10:28) In the expression: v In the expression: if v then False else True In the second argument of `writeIORef', namely diff --git a/testsuite/tests/typecheck/should_fail/T5853.stderr b/testsuite/tests/typecheck/should_fail/T5853.stderr index eeba39fb1d..6ee736c0b6 100644 --- a/testsuite/tests/typecheck/should_fail/T5853.stderr +++ b/testsuite/tests/typecheck/should_fail/T5853.stderr @@ -1,14 +1,17 @@ T5853.hs:15:52: - Could not deduce (fb ~ Subst fa1 (Elem fb)) + Could not deduce (Subst fa b ~ Subst (Subst fa a) b) from the context (F fa, - Subst fa (Elem fb) ~ fb, - Subst fb (Elem fa) ~ fa, - F fa1, - Subst fa1 (Elem fa) ~ fa, - Subst fa (Elem fa1) ~ fa1) + Elem (Subst fa b) ~ b, + Subst (Subst fa b) (Elem fa) ~ fa, + F (Subst fa a), + Elem (Subst fa a) ~ a, + Subst (Subst fa a) (Elem fa) ~ fa) bound by the RULE "map/map" at T5853.hs:15:2-57 - `fb' is a rigid type variable bound by - the RULE "map/map" at T5853.hs:15:2 + NB: `Subst' is a type function, and may not be injective + Relevant bindings include + xs :: Subst fa a (bound at T5853.hs:15:23) + g :: a -> Elem fa (bound at T5853.hs:15:21) + f :: Elem fa -> b (bound at T5853.hs:15:19) In the expression: (f . g) <$> xs When checking the transformation rule "map/map" diff --git a/testsuite/tests/typecheck/should_fail/T5858.stderr b/testsuite/tests/typecheck/should_fail/T5858.stderr index 5e0cf1521b..0ce0d5df9f 100644 --- a/testsuite/tests/typecheck/should_fail/T5858.stderr +++ b/testsuite/tests/typecheck/should_fail/T5858.stderr @@ -7,7 +7,5 @@ T5858.hs:11:7: Note: there is a potential instance available: instance t1 ~ String => InferOverloaded (t1, t1) -- Defined at T5858.hs:8:10 - Possible fix: - add an instance declaration for (InferOverloaded ([a0], [a1])) In the expression: infer ([], []) In an equation for `foo': foo = infer ([], []) diff --git a/testsuite/tests/typecheck/should_fail/mc20.stderr b/testsuite/tests/typecheck/should_fail/mc20.stderr index ee9bb4b39f..01048c4481 100644 --- a/testsuite/tests/typecheck/should_fail/mc20.stderr +++ b/testsuite/tests/typecheck/should_fail/mc20.stderr @@ -1,8 +1,6 @@ mc20.hs:14:31: - No instance for (Ord Unorderable) - arising from a use of `groupWith' - Possible fix: add an instance declaration for (Ord Unorderable) + No instance for (Ord Unorderable) arising from a use of `groupWith' In the expression: groupWith In a stmt of a monad comprehension: then group by x using groupWith In the expression: diff --git a/testsuite/tests/typecheck/should_fail/mc22.stderr b/testsuite/tests/typecheck/should_fail/mc22.stderr index 6a3474c64f..d020bae094 100644 --- a/testsuite/tests/typecheck/should_fail/mc22.stderr +++ b/testsuite/tests/typecheck/should_fail/mc22.stderr @@ -1,10 +1,11 @@ -
-mc22.hs:10:26:
- Couldn't match type `a' with `t0 a'
- `a' is a rigid type variable bound by
- a type expected by the context: [a] -> [t0 a] at mc22.hs:10:9
- Expected type: [a] -> [t0 a]
- Actual type: [a] -> [a]
- In the return type of a call of `take'
- In the expression: take 5
- In a stmt of a monad comprehension: then group using take 5
+ +mc22.hs:10:26: + Couldn't match type `a' with `t a' + `a' is a rigid type variable bound by + a type expected by the context: [a] -> [t a] at mc22.hs:10:9 + Expected type: [a] -> [t a] + Actual type: [a] -> [a] + Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1) + In the return type of a call of `take' + In the expression: take 5 + In a stmt of a monad comprehension: then group using take 5 diff --git a/testsuite/tests/typecheck/should_fail/mc23.stderr b/testsuite/tests/typecheck/should_fail/mc23.stderr index 632bac92c8..b8c3987280 100644 --- a/testsuite/tests/typecheck/should_fail/mc23.stderr +++ b/testsuite/tests/typecheck/should_fail/mc23.stderr @@ -1,9 +1,10 @@ -
-mc23.hs:9:29:
- Couldn't match type `[a0]' with `a -> b0'
- Expected type: (a -> b0) -> [a] -> t0 a
- Actual type: [a0] -> [a0]
- In the return type of a call of `take'
- Probable cause: `take' is applied to too many arguments
- In the expression: take 5
- In a stmt of a monad comprehension: then take 5 by x
+ +mc23.hs:9:29: + Couldn't match type `[a0]' with `a -> b' + Expected type: (a -> b) -> [a] -> t a + Actual type: [a0] -> [a0] + Relevant bindings include z :: t b (bound at mc23.hs:9:1) + In the return type of a call of `take' + Probable cause: `take' is applied to too many arguments + In the expression: take 5 + In a stmt of a monad comprehension: then take 5 by x diff --git a/testsuite/tests/typecheck/should_fail/mc24.stderr b/testsuite/tests/typecheck/should_fail/mc24.stderr index a2b11e2465..1249bc2f39 100644 --- a/testsuite/tests/typecheck/should_fail/mc24.stderr +++ b/testsuite/tests/typecheck/should_fail/mc24.stderr @@ -1,9 +1,9 @@ -
-mc24.hs:10:31:
- Couldn't match type `[a0]' with `a -> a1'
- Expected type: (a -> a1) -> [a] -> t0 [a]
- Actual type: [a0] -> [a0]
- In the return type of a call of `take'
- Probable cause: `take' is applied to too many arguments
- In the expression: take 2
- In a stmt of a monad comprehension: then group by x using take 2
+ +mc24.hs:10:31: + Couldn't match type `[a0]' with `a -> Integer' + Expected type: (a -> Integer) -> [a] -> t [a] + Actual type: [a0] -> [a0] + In the return type of a call of `take' + Probable cause: `take' is applied to too many arguments + In the expression: take 2 + In a stmt of a monad comprehension: then group by x using take 2 diff --git a/testsuite/tests/typecheck/should_fail/mc25.stderr b/testsuite/tests/typecheck/should_fail/mc25.stderr index 643f35278d..3925f833f0 100644 --- a/testsuite/tests/typecheck/should_fail/mc25.stderr +++ b/testsuite/tests/typecheck/should_fail/mc25.stderr @@ -1,8 +1,9 @@ -
-mc25.hs:9:46:
- Couldn't match type `Int' with `a -> t0'
- Expected type: (a -> t0) -> [a] -> [t1 a]
- Actual type: Int -> [a] -> [a]
- In the expression: take
- In a stmt of a monad comprehension: then group by x using take
- In the expression: [x | x <- [1 .. 10], then group by x using take]
+ +mc25.hs:9:46: + Couldn't match type `Int' with `a -> t' + Expected type: (a -> t) -> [a] -> [t1 a] + Actual type: Int -> [a] -> [a] + Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1) + In the expression: take + In a stmt of a monad comprehension: then group by x using take + In the expression: [x | x <- [1 .. 10], then group by x using take] diff --git a/testsuite/tests/typecheck/should_fail/tcfail001.stderr b/testsuite/tests/typecheck/should_fail/tcfail001.stderr index 7c9b8ba27b..85b6788a7f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail001.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail001.stderr @@ -1,6 +1,7 @@ tcfail001.hs:9:2: Couldn't match expected type `[t0] -> [a0]' with actual type `[a]' + Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2) The equation(s) for `op' have one argument, but its type `[a]' has none In the instance declaration for `A [a]' diff --git a/testsuite/tests/typecheck/should_fail/tcfail002.stderr b/testsuite/tests/typecheck/should_fail/tcfail002.stderr index 12a77d0cc8..3a9c89c13d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail002.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail002.stderr @@ -1,5 +1,8 @@ tcfail002.hs:4:7: - Occurs check: cannot construct the infinite type: t0 = [t0] + Occurs check: cannot construct the infinite type: t ~ [t] + Relevant bindings include + c :: [t] -> t (bound at tcfail002.hs:3:1) + z :: [t] (bound at tcfail002.hs:4:3) In the expression: z In an equation for `c': c z = z diff --git a/testsuite/tests/typecheck/should_fail/tcfail003.stderr b/testsuite/tests/typecheck/should_fail/tcfail003.stderr index 62fb6a9812..42d7c59764 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail003.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail003.stderr @@ -1,8 +1,6 @@ tcfail003.hs:3:10: - No instance for (Num Char) - arising from the literal `1' - Possible fix: add an instance declaration for (Num Char) + No instance for (Num Char) arising from the literal `1' In the expression: 1 In the expression: [1, 'a'] In a pattern binding: (d : e) = [1, 'a'] diff --git a/testsuite/tests/typecheck/should_fail/tcfail004.stderr b/testsuite/tests/typecheck/should_fail/tcfail004.stderr index 5f0408880c..db24fb2109 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail004.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail004.stderr @@ -1,6 +1,9 @@ tcfail004.hs:3:9: - Couldn't match expected type `(t0, t1)' - with actual type `(t2, t3, t4)' + Couldn't match expected type `(t, t1)' + with actual type `(Integer, Integer, Integer)' + Relevant bindings include + g :: t1 (bound at tcfail004.hs:3:4) + f :: t (bound at tcfail004.hs:3:2) In the expression: (1, 2, 3) In a pattern binding: (f, g) = (1, 2, 3) diff --git a/testsuite/tests/typecheck/should_fail/tcfail005.stderr b/testsuite/tests/typecheck/should_fail/tcfail005.stderr index 66e6fa9f69..9cfae02e1f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail005.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail005.stderr @@ -1,5 +1,9 @@ tcfail005.hs:3:9: - Couldn't match expected type `[t0]' with actual type `(t1, Char)' + Couldn't match expected type `[t]' + with actual type `(Integer, Char)' + Relevant bindings include + i :: [t] (bound at tcfail005.hs:3:4) + h :: t (bound at tcfail005.hs:3:2) In the expression: (1, 'a') In a pattern binding: (h : i) = (1, 'a') diff --git a/testsuite/tests/typecheck/should_fail/tcfail006.stderr b/testsuite/tests/typecheck/should_fail/tcfail006.stderr index d9ab68bcda..a31f4fdc21 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail006.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail006.stderr @@ -1,8 +1,6 @@ -
-tcfail006.hs:4:24:
- No instance for (Num Bool)
- arising from the literal `1'
- Possible fix: add an instance declaration for (Num Bool)
- In the expression: 1
- In the expression: (True, 1)
- In a case alternative: True -> (True, 1)
+ +tcfail006.hs:4:24: + No instance for (Num Bool) arising from the literal `1' + In the expression: 1 + In the expression: (True, 1) + In a case alternative: True -> (True, 1) diff --git a/testsuite/tests/typecheck/should_fail/tcfail007.stderr b/testsuite/tests/typecheck/should_fail/tcfail007.stderr index 6f93a462a2..d375e40eb2 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail007.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail007.stderr @@ -1,10 +1,8 @@ -
-tcfail007.hs:3:15:
- No instance for (Num Bool)
- arising from a use of `+'
- Possible fix: add an instance declaration for (Num Bool)
- In the expression: x + 1
- In an equation for `n':
- n x
- | True = x + 1
- | False = True
+ +tcfail007.hs:3:15: + No instance for (Num Bool) arising from a use of `+' + In the expression: x + 1 + In an equation for `n': + n x + | True = x + 1 + | False = True diff --git a/testsuite/tests/typecheck/should_fail/tcfail008.stderr b/testsuite/tests/typecheck/should_fail/tcfail008.stderr index 978d946970..c0791f2b2e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail008.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail008.stderr @@ -2,10 +2,10 @@ tcfail008.hs:3:5: No instance for (Num a0) arising from the literal `1' The type variable `a0' is ambiguous - Possible cause: the monomorphism restriction applied to the following: - o :: [a0] (bound at tcfail008.hs:3:1) + Possible cause: the monomorphism restriction applied to: `o' Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction + Relevant bindings include o :: [a0] (bound at tcfail008.hs:3:1) Note: there are several potential instances: instance Num Double -- Defined in `GHC.Float' instance Num Float -- Defined in `GHC.Float' @@ -18,7 +18,6 @@ tcfail008.hs:3:5: tcfail008.hs:3:7: No instance for (Num [a0]) arising from the literal `2' - Possible fix: add an instance declaration for (Num [a0]) In the second argument of `(:)', namely `2' In the expression: 1 : 2 In an equation for `o': o = 1 : 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail010.stderr b/testsuite/tests/typecheck/should_fail/tcfail010.stderr index 5f22a3a20e..695655c31e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail010.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail010.stderr @@ -1,7 +1,6 @@ tcfail010.hs:3:17: No instance for (Num [t0]) arising from a use of `+' - Possible fix: add an instance declaration for (Num [t0]) In the expression: z + 2 In the expression: \ (y : z) -> z + 2 In an equation for `q': q = \ (y : z) -> z + 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail013.stderr b/testsuite/tests/typecheck/should_fail/tcfail013.stderr index 439a663c5c..a1fd433f67 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail013.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail013.stderr @@ -1,5 +1,6 @@ tcfail013.hs:4:3: - Couldn't match expected type `[t0]' with actual type `Bool' + Couldn't match expected type `[t]' with actual type `Bool' + Relevant bindings include f :: [t] -> a (bound at tcfail013.hs:3:1) In the pattern: True In an equation for `f': f True = 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail014.stderr b/testsuite/tests/typecheck/should_fail/tcfail014.stderr index d46bf92db3..713ffce5e5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail014.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail014.stderr @@ -1,6 +1,9 @@ tcfail014.hs:5:33: - Occurs check: cannot construct the infinite type: t1 = t1 -> t0 + Occurs check: cannot construct the infinite type: t8 ~ t8 -> t7 + Relevant bindings include + h :: (t8 -> t7) -> t7 (bound at tcfail014.hs:5:25) + z :: t8 -> t7 (bound at tcfail014.hs:5:27) In the first argument of `z', namely `z' In the expression: z z In an equation for `h': h z = z z diff --git a/testsuite/tests/typecheck/should_fail/tcfail015.stderr b/testsuite/tests/typecheck/should_fail/tcfail015.stderr index 24affd76d9..41899dffb4 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail015.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail015.stderr @@ -1,7 +1,5 @@ -
-tcfail015.hs:7:13:
- No instance for (Num Bool)
- arising from the literal `2'
- Possible fix: add an instance declaration for (Num Bool)
- In the expression: 2
- In an equation for `g': g (ANull) = 2
+ +tcfail015.hs:7:13: + No instance for (Num Bool) arising from the literal `2' + In the expression: 2 + In an equation for `g': g (ANull) = 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail016.stderr b/testsuite/tests/typecheck/should_fail/tcfail016.stderr index 6c1fa9ce62..17f2f16e4c 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail016.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail016.stderr @@ -1,16 +1,24 @@ tcfail016.hs:9:20: - Couldn't match type `(t0, Expr t0)' with `Expr t0' - Expected type: Expr t0 - Actual type: AnnExpr t0 + Couldn't match type `(t, Expr t)' with `Expr t' + Expected type: Expr t + Actual type: AnnExpr t + Relevant bindings include + g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1) + e1 :: AnnExpr t (bound at tcfail016.hs:9:8) + e2 :: AnnExpr t (bound at tcfail016.hs:9:11) In the first argument of `g', namely `e1' In the first argument of `(++)', namely `(g e1)' In the expression: (g e1) ++ (g e2) tcfail016.hs:9:28: - Couldn't match type `(t0, Expr t0)' with `Expr t0' - Expected type: Expr t0 - Actual type: AnnExpr t0 + Couldn't match type `(t, Expr t)' with `Expr t' + Expected type: Expr t + Actual type: AnnExpr t + Relevant bindings include + g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1) + e1 :: AnnExpr t (bound at tcfail016.hs:9:8) + e2 :: AnnExpr t (bound at tcfail016.hs:9:11) In the first argument of `g', namely `e2' In the second argument of `(++)', namely `(g e2)' In the expression: (g e1) ++ (g e2) diff --git a/testsuite/tests/typecheck/should_fail/tcfail017.stderr b/testsuite/tests/typecheck/should_fail/tcfail017.stderr index 9ac3c7d64f..006ff73d14 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail017.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail017.stderr @@ -4,5 +4,4 @@ tcfail017.hs:10:10: arising from the superclasses of an instance declaration from the context (B a) bound by the instance declaration at tcfail017.hs:10:10-23 - Possible fix: add an instance declaration for (C [a]) In the instance declaration for `B [a]' diff --git a/testsuite/tests/typecheck/should_fail/tcfail018.stderr b/testsuite/tests/typecheck/should_fail/tcfail018.stderr index 54df69888e..67b3cbb47e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail018.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail018.stderr @@ -1,6 +1,5 @@ tcfail018.hs:5:10: No instance for (Num [t0]) arising from the literal `1' - Possible fix: add an instance declaration for (Num [t0]) In the expression: 1 In a pattern binding: (a : []) = 1 diff --git a/testsuite/tests/typecheck/should_fail/tcfail019.stderr b/testsuite/tests/typecheck/should_fail/tcfail019.stderr index ac2178be97..79ab411795 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail019.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail019.stderr @@ -2,5 +2,4 @@ tcfail019.hs:18:10: No instance for (B [a]) arising from the superclasses of an instance declaration - Possible fix: add an instance declaration for (B [a]) In the instance declaration for `D [a]' diff --git a/testsuite/tests/typecheck/should_fail/tcfail020.stderr b/testsuite/tests/typecheck/should_fail/tcfail020.stderr index f15fd98084..13ef851ed6 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail020.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail020.stderr @@ -4,5 +4,4 @@ tcfail020.hs:10:10: arising from the superclasses of an instance declaration from the context (A a) bound by the instance declaration at tcfail020.hs:10:10-23 - Possible fix: add an instance declaration for (A [a]) In the instance declaration for `B [a]' diff --git a/testsuite/tests/typecheck/should_fail/tcfail029.stderr b/testsuite/tests/typecheck/should_fail/tcfail029.stderr index cf83c561b9..d9cb862388 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail029.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail029.stderr @@ -1,7 +1,5 @@ tcfail029.hs:6:9: - No instance for (Ord Foo) - arising from a use of `>' - Possible fix: add an instance declaration for (Ord Foo) + No instance for (Ord Foo) arising from a use of `>' In the expression: x > Bar In an equation for `f': f x = x > Bar diff --git a/testsuite/tests/typecheck/should_fail/tcfail032.stderr b/testsuite/tests/typecheck/should_fail/tcfail032.stderr index 8cb4c1b99a..09d69ca13a 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail032.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail032.stderr @@ -1,14 +1,12 @@ tcfail032.hs:14:8: - Could not deduce (t ~ (a1 -> Int)) - from the context (Eq a) - bound by the inferred type of f :: Eq a => t -> a -> Int - at tcfail032.hs:14:1-31 - or from (Eq a1) - bound by an expression type signature: Eq a1 => a1 -> Int + Couldn't match expected type `t' with actual type `a1 -> Int' + because type variable `a1' would escape its scope + This (rigid, skolem) type variable is bound by + an expression type signature: Eq a1 => a1 -> Int at tcfail032.hs:14:8-30 - `t' is a rigid type variable bound by - the inferred type of f :: Eq a => t -> a -> Int - at tcfail032.hs:14:1 + Relevant bindings include + f :: t -> a -> Int (bound at tcfail032.hs:14:1) + x :: t (bound at tcfail032.hs:14:3) In the expression: (x :: Eq a => a -> Int) In an equation for `f': f x = (x :: Eq a => a -> Int) diff --git a/testsuite/tests/typecheck/should_fail/tcfail033.stderr b/testsuite/tests/typecheck/should_fail/tcfail033.stderr index 826ad4626d..5382284334 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail033.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail033.stderr @@ -1,6 +1,10 @@ tcfail033.hs:4:12: - Occurs check: cannot construct the infinite type: t0 = (t0, t1) + Occurs check: cannot construct the infinite type: t ~ (t, t1) + Relevant bindings include + buglet :: [(t, t1)] (bound at tcfail033.hs:4:1) + x :: t (bound at tcfail033.hs:4:17) + y :: t1 (bound at tcfail033.hs:4:19) In the expression: x In the expression: [x | (x, y) <- buglet] In an equation for `buglet': buglet = [x | (x, y) <- buglet] diff --git a/testsuite/tests/typecheck/should_fail/tcfail043.stderr b/testsuite/tests/typecheck/should_fail/tcfail043.stderr index 3e52e69c56..606750091b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail043.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail043.stderr @@ -2,10 +2,13 @@ tcfail043.hs:38:17: No instance for (Ord_ a0) arising from a use of `gt' The type variable `a0' is ambiguous - Possible cause: the monomorphism restriction applied to the following: - search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + Possible cause: the monomorphism restriction applied to: `search' Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction + Relevant bindings include + search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + a :: a0 (bound at tcfail043.hs:38:6) + bs :: [a0] (bound at tcfail043.hs:38:8) Note: there is a potential instance available: instance Ord_ Int -- Defined at tcfail043.hs:34:10 In the expression: gt (hd bs) a @@ -24,10 +27,13 @@ tcfail043.hs:38:17: tcfail043.hs:40:25: No instance for (Eq_ a0) arising from a use of `eq' The type variable `a0' is ambiguous - Possible cause: the monomorphism restriction applied to the following: - search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + Possible cause: the monomorphism restriction applied to: `search' Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction + Relevant bindings include + search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + a :: a0 (bound at tcfail043.hs:38:6) + bs :: [a0] (bound at tcfail043.hs:38:8) Note: there are several potential instances: instance Eq_ a => Eq_ [a] -- Defined at tcfail043.hs:23:10 instance Eq_ Int -- Defined at tcfail043.hs:20:10 diff --git a/testsuite/tests/typecheck/should_fail/tcfail046.stderr b/testsuite/tests/typecheck/should_fail/tcfail046.stderr index 1b668d07a6..e3a8f169e2 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail046.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail046.stderr @@ -3,16 +3,14 @@ tcfail046.hs:10:50: No instance for (Eq (Process a)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Eq (Process a)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Eq (Continuation a)) tcfail046.hs:22:25: No instance for (Eq (Process a)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Eq (Process a)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Eq (Message a)) diff --git a/testsuite/tests/typecheck/should_fail/tcfail065.stderr b/testsuite/tests/typecheck/should_fail/tcfail065.stderr index fbe7e545c1..ae19816537 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail065.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail065.stderr @@ -1,11 +1,14 @@ -
-tcfail065.hs:29:20:
- Couldn't match expected type `x' with actual type `x1'
- `x' is a rigid type variable bound by
- the instance declaration at tcfail065.hs:28:10
- `x1' is a rigid type variable bound by
- the type signature for setX :: x1 -> X x -> X x
- at tcfail065.hs:29:3
- In the first argument of `X', namely `x'
- In the expression: X x
- In an equation for `setX': setX x (X _) = X x
+ +tcfail065.hs:29:20: + Couldn't match expected type `x' with actual type `x1' + `x' is a rigid type variable bound by + the instance declaration at tcfail065.hs:28:10 + `x1' is a rigid type variable bound by + the type signature for setX :: x1 -> X x -> X x + at tcfail065.hs:29:3 + Relevant bindings include + setX :: x1 -> X x -> X x (bound at tcfail065.hs:29:3) + x :: x1 (bound at tcfail065.hs:29:8) + In the first argument of `X', namely `x' + In the expression: X x + In an equation for `setX': setX x (X _) = X x diff --git a/testsuite/tests/typecheck/should_fail/tcfail068.stderr b/testsuite/tests/typecheck/should_fail/tcfail068.stderr index bf6e1448bd..687c8eaca7 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail068.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail068.stderr @@ -1,97 +1,127 @@ -
-tcfail068.hs:14:9:
- Could not deduce (s1 ~ s)
- from the context (Constructed a)
- bound by the type signature for
- itgen :: Constructed a => (Int, Int) -> a -> IndTree s a
- at tcfail068.hs:11:10-55
- `s1' is a rigid type variable bound by
- a type expected by the context: GHC.ST.ST s1 (IndTree s a)
- at tcfail068.hs:13:9
- `s' is a rigid type variable bound by
- the type signature for
- itgen :: Constructed a => (Int, Int) -> a -> IndTree s a
- at tcfail068.hs:11:10
- Expected type: GHC.ST.ST s1 (IndTree s a)
- Actual type: GHC.ST.ST s1 (STArray s1 (Int, Int) a)
- In the return type of a call of `newSTArray'
- In the first argument of `runST', namely
- `(newSTArray ((1, 1), n) x)'
- In the expression: runST (newSTArray ((1, 1), n) x)
-
-tcfail068.hs:19:21:
- Could not deduce (s ~ s1)
- from the context (Constructed a)
- bound by the type signature for
- itiap :: Constructed a =>
- (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
- at tcfail068.hs:16:10-75
- `s' is a rigid type variable bound by
- the type signature for
- itiap :: Constructed a =>
- (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
- at tcfail068.hs:16:10
- `s1' is a rigid type variable bound by
- a type expected by the context: GHC.ST.ST s1 (IndTree s a)
- at tcfail068.hs:18:9
- Expected type: STArray s1 (Int, Int) a
- Actual type: IndTree s a
- In the first argument of `readSTArray', namely `arr'
- In the first argument of `(>>=)', namely `readSTArray arr i'
- In the first argument of `runST', namely
- `(readSTArray arr i
- >>= \ val -> writeSTArray arr i (f val) >> return arr)'
-
-tcfail068.hs:24:35:
- Could not deduce (s ~ s1)
- from the context (Constructed a)
- bound by the type signature for
- itrap :: Constructed a =>
- ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a
- at tcfail068.hs:23:10-87
- `s' is a rigid type variable bound by
- the type signature for
- itrap :: Constructed a =>
- ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a
- at tcfail068.hs:23:10
- `s1' is a rigid type variable bound by
- a type expected by the context: GHC.ST.ST s1 (IndTree s a)
- at tcfail068.hs:24:29
- Expected type: GHC.ST.ST s1 (IndTree s a)
- Actual type: GHC.ST.ST s (IndTree s a)
- In the return type of a call of itrap'
- In the first argument of `runST', namely `(itrap' i k)'
- In the expression: runST (itrap' i k)
-
-tcfail068.hs:36:46:
- Could not deduce (s ~ s1)
- from the context (Constructed b)
- bound by the type signature for
- itrapstate :: Constructed b =>
- ((Int, Int), (Int, Int))
- -> (a -> b -> (a, b))
- -> ((Int, Int) -> c -> a)
- -> (a -> c)
- -> c
- -> IndTree s b
- -> (c, IndTree s b)
- at tcfail068.hs:(34,15)-(35,62)
- `s' is a rigid type variable bound by
- the type signature for
- itrapstate :: Constructed b =>
- ((Int, Int), (Int, Int))
- -> (a -> b -> (a, b))
- -> ((Int, Int) -> c -> a)
- -> (a -> c)
- -> c
- -> IndTree s b
- -> (c, IndTree s b)
- at tcfail068.hs:34:15
- `s1' is a rigid type variable bound by
- a type expected by the context: GHC.ST.ST s1 (c, IndTree s b)
- at tcfail068.hs:36:40
- Expected type: GHC.ST.ST s1 (c, IndTree s b)
- Actual type: GHC.ST.ST s (c, IndTree s b)
- In the return type of a call of itrapstate'
- In the first argument of `runST', namely `(itrapstate' i k s)'
- In the expression: runST (itrapstate' i k s)
+ +tcfail068.hs:14:9: + Could not deduce (s1 ~ s) + from the context (Constructed a) + bound by the type signature for + itgen :: Constructed a => (Int, Int) -> a -> IndTree s a + at tcfail068.hs:11:10-55 + `s1' is a rigid type variable bound by + a type expected by the context: GHC.ST.ST s1 (IndTree s a) + at tcfail068.hs:13:9 + `s' is a rigid type variable bound by + the type signature for + itgen :: Constructed a => (Int, Int) -> a -> IndTree s a + at tcfail068.hs:11:10 + Expected type: GHC.ST.ST s1 (IndTree s a) + Actual type: GHC.ST.ST s1 (STArray s1 (Int, Int) a) + Relevant bindings include + itgen :: (Int, Int) -> a -> IndTree s a + (bound at tcfail068.hs:12:1) + In the return type of a call of `newSTArray' + In the first argument of `runST', namely + `(newSTArray ((1, 1), n) x)' + In the expression: runST (newSTArray ((1, 1), n) x) + +tcfail068.hs:19:21: + Could not deduce (s ~ s1) + from the context (Constructed a) + bound by the type signature for + itiap :: Constructed a => + (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a + at tcfail068.hs:16:10-75 + `s' is a rigid type variable bound by + the type signature for + itiap :: Constructed a => + (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a + at tcfail068.hs:16:10 + `s1' is a rigid type variable bound by + a type expected by the context: GHC.ST.ST s1 (IndTree s a) + at tcfail068.hs:18:9 + Expected type: STArray s1 (Int, Int) a + Actual type: IndTree s a + Relevant bindings include + itiap :: (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a + (bound at tcfail068.hs:17:1) + arr :: IndTree s a (bound at tcfail068.hs:17:11) + In the first argument of `readSTArray', namely `arr' + In the first argument of `(>>=)', namely `readSTArray arr i' + In the first argument of `runST', namely + `(readSTArray arr i + >>= \ val -> writeSTArray arr i (f val) >> return arr)' + +tcfail068.hs:24:35: + Could not deduce (s ~ s1) + from the context (Constructed a) + bound by the type signature for + itrap :: Constructed a => + ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a + at tcfail068.hs:23:10-87 + `s' is a rigid type variable bound by + the type signature for + itrap :: Constructed a => + ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a + at tcfail068.hs:23:10 + `s1' is a rigid type variable bound by + a type expected by the context: GHC.ST.ST s1 (IndTree s a) + at tcfail068.hs:24:29 + Expected type: GHC.ST.ST s1 (IndTree s a) + Actual type: GHC.ST.ST s (IndTree s a) + Relevant bindings include + itrap :: ((Int, Int), (Int, Int)) + -> (a -> a) -> IndTree s a -> IndTree s a + (bound at tcfail068.hs:24:1) + arr :: IndTree s a (bound at tcfail068.hs:24:23) + itrapsnd :: Int -> Int -> GHC.ST.ST s (IndTree s a) + (bound at tcfail068.hs:29:9) + itrap' :: Int -> Int -> GHC.ST.ST s (IndTree s a) + (bound at tcfail068.hs:26:9) + In the return type of a call of itrap' + In the first argument of `runST', namely `(itrap' i k)' + In the expression: runST (itrap' i k) + +tcfail068.hs:36:46: + Could not deduce (s ~ s1) + from the context (Constructed b) + bound by the type signature for + itrapstate :: Constructed b => + ((Int, Int), (Int, Int)) + -> (a -> b -> (a, b)) + -> ((Int, Int) -> c -> a) + -> (a -> c) + -> c + -> IndTree s b + -> (c, IndTree s b) + at tcfail068.hs:(34,15)-(35,62) + `s' is a rigid type variable bound by + the type signature for + itrapstate :: Constructed b => + ((Int, Int), (Int, Int)) + -> (a -> b -> (a, b)) + -> ((Int, Int) -> c -> a) + -> (a -> c) + -> c + -> IndTree s b + -> (c, IndTree s b) + at tcfail068.hs:34:15 + `s1' is a rigid type variable bound by + a type expected by the context: GHC.ST.ST s1 (c, IndTree s b) + at tcfail068.hs:36:40 + Expected type: GHC.ST.ST s1 (c, IndTree s b) + Actual type: GHC.ST.ST s (c, IndTree s b) + Relevant bindings include + itrapstate :: ((Int, Int), (Int, Int)) + -> (a -> b -> (a, b)) + -> ((Int, Int) -> c -> a) + -> (a -> c) + -> c + -> IndTree s b + -> (c, IndTree s b) + (bound at tcfail068.hs:36:1) + arr :: IndTree s b (bound at tcfail068.hs:36:34) + itrapstatesnd :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b) + (bound at tcfail068.hs:41:9) + itrapstate' :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b) + (bound at tcfail068.hs:38:9) + In the return type of a call of itrapstate' + In the first argument of `runST', namely `(itrapstate' i k s)' + In the expression: runST (itrapstate' i k s) diff --git a/testsuite/tests/typecheck/should_fail/tcfail076.stderr b/testsuite/tests/typecheck/should_fail/tcfail076.stderr index 4ca4cf403b..5e8361aa66 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail076.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail076.stderr @@ -9,6 +9,9 @@ tcfail076.hs:18:82: at tcfail076.hs:18:64 Expected type: m res1 Actual type: m res + Relevant bindings include + cont :: a -> m res (bound at tcfail076.hs:18:37) + cont' :: b -> m res1 (bound at tcfail076.hs:18:73) In the return type of a call of `cont' In the expression: cont a In the first argument of `KContT', namely `(\ cont' -> cont a)' diff --git a/testsuite/tests/typecheck/should_fail/tcfail083.stderr b/testsuite/tests/typecheck/should_fail/tcfail083.stderr index 77794ffaa6..589d2c9959 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail083.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail083.stderr @@ -5,3 +5,17 @@ tcfail083.hs:8:39: In the pattern: State {bar = Bar {flag = f, baz = b}} In an equation for `display': display (State {bar = Bar {flag = f, baz = b}}) = print (f, b) + +tcfail083.hs:8:53: + No instance for (Show t0) arising from a use of `print' + The type variable `t0' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + Relevant bindings include b :: t0 (bound at tcfail083.hs:8:45) + Note: there are several potential instances: + instance Show Bar -- Defined at tcfail083.hs:3:43 + instance Show Double -- Defined in `GHC.Float' + instance Show Float -- Defined in `GHC.Float' + ...plus 24 others + In the expression: print (f, b) + In an equation for `display': + display (State {bar = Bar {flag = f, baz = b}}) = print (f, b) diff --git a/testsuite/tests/typecheck/should_fail/tcfail099.stderr b/testsuite/tests/typecheck/should_fail/tcfail099.stderr index aa7eb99197..49132b002f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail099.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail099.stderr @@ -8,6 +8,10 @@ tcfail099.hs:9:20: at tcfail099.hs:9:7 `t' is a rigid type variable bound by the inferred type of call :: DS -> t -> Int at tcfail099.hs:9:1 + Relevant bindings include + call :: DS -> t -> Int (bound at tcfail099.hs:9:1) + f :: a -> Int (bound at tcfail099.hs:9:9) + arg :: t (bound at tcfail099.hs:9:12) In the first argument of `f', namely `arg' In the expression: f arg In an equation for `call': call (C f) arg = f arg diff --git a/testsuite/tests/typecheck/should_fail/tcfail102.stderr b/testsuite/tests/typecheck/should_fail/tcfail102.stderr index 4c651bf7d4..516734b05d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail102.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail102.stderr @@ -8,7 +8,6 @@ tcfail102.hs:9:15: bound by the type signature for f :: Integral a => P (Ratio a) -> P (Ratio a) at tcfail102.hs:8:6-45 - Possible fix: add an instance declaration for (Integral (Ratio a)) In the `p' field of a record In the expression: x {p = p x} In an equation for `f': f x = x {p = p x} diff --git a/testsuite/tests/typecheck/should_fail/tcfail103.stderr b/testsuite/tests/typecheck/should_fail/tcfail103.stderr index 134f36f193..ea873e637f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail103.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail103.stderr @@ -1,12 +1,16 @@ -
-tcfail103.hs:15:23:
- Couldn't match type `t' with `s'
- `t' is a rigid type variable bound by
- the type signature for f :: ST t Int at tcfail103.hs:10:5
- `s' is a rigid type variable bound by
- the type signature for g :: ST s Int at tcfail103.hs:13:14
- Expected type: STRef s Int
- Actual type: STRef t Int
- In the first argument of `readSTRef', namely `v'
- In the expression: readSTRef v
- In an equation for `g': g = readSTRef v
+ +tcfail103.hs:15:23: + Couldn't match type `t' with `s' + `t' is a rigid type variable bound by + the type signature for f :: ST t Int at tcfail103.hs:10:5 + `s' is a rigid type variable bound by + the type signature for g :: ST s Int at tcfail103.hs:13:14 + Expected type: STRef s Int + Actual type: STRef t Int + Relevant bindings include + f :: ST t Int (bound at tcfail103.hs:11:1) + v :: STRef t Int (bound at tcfail103.hs:12:5) + g :: ST s Int (bound at tcfail103.hs:15:9) + In the first argument of `readSTRef', namely `v' + In the expression: readSTRef v + In an equation for `g': g = readSTRef v diff --git a/testsuite/tests/typecheck/should_fail/tcfail106.stderr b/testsuite/tests/typecheck/should_fail/tcfail106.stderr index 09c09769ba..b08c7dfe89 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail106.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail106.stderr @@ -2,5 +2,4 @@ tcfail106.hs:14:10: No instance for (S Int) arising from the superclasses of an instance declaration - Possible fix: add an instance declaration for (S Int) In the instance declaration for `D Int' diff --git a/testsuite/tests/typecheck/should_fail/tcfail109.stderr b/testsuite/tests/typecheck/should_fail/tcfail109.stderr index a72c6238d9..5455815409 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail109.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail109.stderr @@ -2,5 +2,4 @@ tcfail109.hs:16:10: No instance for (Eq Stupid) arising from the superclasses of an instance declaration - Possible fix: add an instance declaration for (Eq Stupid) In the instance declaration for `Collects Bool Stupid' diff --git a/testsuite/tests/typecheck/should_fail/tcfail128.stderr b/testsuite/tests/typecheck/should_fail/tcfail128.stderr index 0834cc2fbd..265b783465 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail128.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail128.stderr @@ -7,9 +7,6 @@ tcfail128.hs:18:16: Note: there is a potential instance available: instance Data.Array.Base.MArray GHC.IOArray.IOArray e IO -- Defined in `Data.Array.Base' - Possible fix: - add an instance declaration for - (Data.Array.Base.MArray b0 FlatVector IO) In a stmt of a 'do' block: v <- thaw tmp In the expression: do { let sL = ... diff --git a/testsuite/tests/typecheck/should_fail/tcfail131.stderr b/testsuite/tests/typecheck/should_fail/tcfail131.stderr index 785801a9a4..db2a954d57 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail131.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail131.stderr @@ -1,11 +1,14 @@ -
-tcfail131.hs:7:9:
- Could not deduce (b ~ Integer)
- from the context (Num b)
- bound by the type signature for g :: Num b => b -> b
- at tcfail131.hs:6:8-22
- `b' is a rigid type variable bound by
- the type signature for g :: Num b => b -> b at tcfail131.hs:6:8
- In the return type of a call of `f'
- In the expression: f x x
- In an equation for `g': g x = f x x
+ +tcfail131.hs:7:9: + Could not deduce (b ~ Integer) + from the context (Num b) + bound by the type signature for g :: Num b => b -> b + at tcfail131.hs:6:8-22 + `b' is a rigid type variable bound by + the type signature for g :: Num b => b -> b at tcfail131.hs:6:8 + Relevant bindings include + g :: b -> b (bound at tcfail131.hs:7:3) + x :: b (bound at tcfail131.hs:7:5) + In the return type of a call of `f' + In the expression: f x x + In an equation for `g': g x = f x x diff --git a/testsuite/tests/typecheck/should_fail/tcfail133.stderr b/testsuite/tests/typecheck/should_fail/tcfail133.stderr index 08c9b9747d..48ea0ebae2 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail133.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail133.stderr @@ -20,9 +20,6 @@ tcfail133.hs:68:7: tcfail133.hs:68:14: No instance for (AddDigit (Zero :@ (One :@ One)) One a0) arising from a use of `add' - Possible fix: - add an instance declaration for - (AddDigit (Zero :@ (One :@ One)) One a0) In the second argument of `($)', namely `add (One :@ Zero) (One :@ One)' In the expression: show $ add (One :@ Zero) (One :@ One) diff --git a/testsuite/tests/typecheck/should_fail/tcfail137.stderr b/testsuite/tests/typecheck/should_fail/tcfail137.stderr index 9cbe69b98d..b84fff1dfa 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail137.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail137.stderr @@ -1,10 +1,8 @@ -tcfail137.hs:1:14: - Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. +tcfail137.hs:1:14: Warning: + -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. tcfail137.hs:8:5: - No instance for (Floating Bool) - arising from a use of `Test' - Possible fix: add an instance declaration for (Floating Bool) + No instance for (Floating Bool) arising from a use of `Test' In the expression: Test [False, True] In an equation for `x': x = Test [False, True] diff --git a/testsuite/tests/typecheck/should_fail/tcfail140.stderr b/testsuite/tests/typecheck/should_fail/tcfail140.stderr index f24a2a7f82..0d9cd3404e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail140.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail140.stderr @@ -1,20 +1,26 @@ tcfail140.hs:10:7: - Couldn't match expected type `a0 -> t0' with actual type `Int' + Couldn't match expected type `Integer -> t' with actual type `Int' + Relevant bindings include bar :: t (bound at tcfail140.hs:10:1) The function `f' is applied to two arguments, but its type `Int -> Int' has only one In the expression: f 3 9 In an equation for `bar': bar = f 3 9 tcfail140.hs:12:10: - Couldn't match expected type `a0 -> t0' with actual type `Int' + Couldn't match expected type `Integer -> t1' with actual type `Int' + Relevant bindings include + rot :: t -> t1 (bound at tcfail140.hs:12:1) The operator `f' takes two arguments, but its type `Int -> Int' has only one In the expression: 3 `f` 4 In an equation for `rot': rot xs = 3 `f` 4 tcfail140.hs:14:15: - Couldn't match expected type `a0 -> b0' with actual type `Int' + Couldn't match expected type `a -> b' with actual type `Int' + Relevant bindings include + bot :: [a] -> [b] (bound at tcfail140.hs:14:1) + xs :: [a] (bound at tcfail140.hs:14:5) The operator `f' takes two arguments, but its type `Int -> Int' has only one In the first argument of `map', namely `(3 `f`)' diff --git a/testsuite/tests/typecheck/should_fail/tcfail153.stderr b/testsuite/tests/typecheck/should_fail/tcfail153.stderr index 200df0b6f6..2647156f87 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail153.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail153.stderr @@ -5,6 +5,9 @@ tcfail153.hs:6:7: the type signature for f :: a -> [a] at tcfail153.hs:5:6 Expected type: [a] Actual type: [Bool] + Relevant bindings include + f :: a -> [a] (bound at tcfail153.hs:6:1) + x :: a (bound at tcfail153.hs:6:3) In the return type of a call of `g' In the expression: g x In an equation for `f': diff --git a/testsuite/tests/typecheck/should_fail/tcfail169.stderr b/testsuite/tests/typecheck/should_fail/tcfail169.stderr index cfe63c06ee..1e0262d414 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail169.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail169.stderr @@ -3,7 +3,6 @@ tcfail169.hs:7:51: No instance for (Show (Succ a)) arising from the 'deriving' clause of a data type declaration Possible fix: - add an instance declaration for (Show (Succ a)) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself When deriving the instance for (Show (Seq a)) diff --git a/testsuite/tests/typecheck/should_fail/tcfail174.stderr b/testsuite/tests/typecheck/should_fail/tcfail174.stderr index c4fb525c5e..762a87efe0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail174.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail174.stderr @@ -1,31 +1,35 @@ -
-tcfail174.hs:9:10:
- Couldn't match expected type `forall a. a -> a'
- with actual type `a0 -> a0'
- In the first argument of `Base', namely `id'
- In the expression: Base id
- In an equation for `g': g = Base id
-
-tcfail174.hs:13:14:
- Couldn't match type `a' with `a1'
- `a' is a rigid type variable bound by
- the inferred type of h1 :: Capture a at tcfail174.hs:13:1
- `a1' is a rigid type variable bound by
- the type forall a1. a1 -> a1 at tcfail174.hs:13:14
- Expected type: Capture (forall x. x -> a)
- Actual type: Capture (forall a. a -> a)
- In the first argument of `Capture', namely `g'
- In the expression: Capture g
- In an equation for `h1': h1 = Capture g
-
-tcfail174.hs:16:14:
- Couldn't match type `a' with `b'
- `a' is a rigid type variable bound by
- the type forall a. a -> a at tcfail174.hs:16:14
- `b' is a rigid type variable bound by
- the type signature for h2 :: Capture b at tcfail174.hs:15:7
- Expected type: Capture (forall x. x -> b)
- Actual type: Capture (forall a. a -> a)
- In the first argument of `Capture', namely `g'
- In the expression: Capture g
- In an equation for `h2': h2 = Capture g
+ +tcfail174.hs:9:10: + Couldn't match expected type `forall a. a -> a' + with actual type `a0 -> a0' + In the first argument of `Base', namely `id' + In the expression: Base id + In an equation for `g': g = Base id + +tcfail174.hs:13:14: + Couldn't match type `a' with `a1' + because type variable `a1' would escape its scope + This (rigid, skolem) type variable is bound by + the type forall a. a -> a + at tcfail174.hs:13:14 + Expected type: Capture (forall x. x -> a) + Actual type: Capture (forall a. a -> a) + Relevant bindings include + h1 :: Capture a (bound at tcfail174.hs:13:1) + In the first argument of `Capture', namely `g' + In the expression: Capture g + In an equation for `h1': h1 = Capture g + +tcfail174.hs:16:14: + Couldn't match type `a' with `b' + `a' is a rigid type variable bound by + the type forall a. a -> a at tcfail174.hs:16:14 + `b' is a rigid type variable bound by + the type signature for h2 :: Capture b at tcfail174.hs:15:7 + Expected type: Capture (forall x. x -> b) + Actual type: Capture (forall a. a -> a) + Relevant bindings include + h2 :: Capture b (bound at tcfail174.hs:16:1) + In the first argument of `Capture', namely `g' + In the expression: Capture g + In an equation for `h2': h2 = Capture g diff --git a/testsuite/tests/typecheck/should_fail/tcfail175.stderr b/testsuite/tests/typecheck/should_fail/tcfail175.stderr index 797b701d6d..d467a15701 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail175.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail175.stderr @@ -1,8 +1,10 @@ -
-tcfail175.hs:11:1:
- Couldn't match expected type `a'
- with actual type `String -> String -> String'
- `a' is a rigid type variable bound by
- the type signature for evalRHS :: Int -> a at tcfail175.hs:10:12
- The equation(s) for `evalRHS' have three arguments,
- but its type `Int -> a' has only one
+ +tcfail175.hs:11:1: + Couldn't match expected type `a' + with actual type `String -> String -> String' + `a' is a rigid type variable bound by + the type signature for evalRHS :: Int -> a at tcfail175.hs:10:12 + Relevant bindings include + evalRHS :: Int -> a (bound at tcfail175.hs:11:1) + The equation(s) for `evalRHS' have three arguments, + but its type `Int -> a' has only one diff --git a/testsuite/tests/typecheck/should_fail/tcfail178.stderr b/testsuite/tests/typecheck/should_fail/tcfail178.stderr index 66773a2fea..b0b6360df7 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail178.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail178.stderr @@ -1,14 +1,16 @@ tcfail178.hs:15:7: - Couldn't match type `()' with `[a0]' - Expected type: Bool -> [a0] + Couldn't match type `()' with `[a]' + Expected type: Bool -> [a] Actual type: Bool -> () + Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1) In the first argument of `a', namely `y' In the expression: a y In an equation for `c': c = a y tcfail178.hs:18:7: - Couldn't match expected type `Bool -> [a0]' with actual type `()' + Couldn't match expected type `Bool -> [a]' with actual type `()' + Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1) In the first argument of `a', namely `()' In the expression: a () In an equation for `d': d = a () diff --git a/testsuite/tests/typecheck/should_fail/tcfail179.stderr b/testsuite/tests/typecheck/should_fail/tcfail179.stderr index 4962c8aae7..c60c7ac2e7 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail179.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail179.stderr @@ -1,13 +1,18 @@ -
-tcfail179.hs:14:39:
- Couldn't match expected type `s' with actual type `x'
- `s' is a rigid type variable bound by
- the type signature for run :: T s -> Int at tcfail179.hs:12:8
- `x' is a rigid type variable bound by
- a pattern with constructor
- T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,
- in a case alternative
- at tcfail179.hs:14:14
- In the first argument of `g', namely `x'
- In the expression: g x id
- In a pattern binding: (x, _, b) = g x id
+ +tcfail179.hs:14:39: + Couldn't match expected type `s' with actual type `x' + `s' is a rigid type variable bound by + the type signature for run :: T s -> Int at tcfail179.hs:12:8 + `x' is a rigid type variable bound by + a pattern with constructor + T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s, + in a case alternative + at tcfail179.hs:14:14 + Relevant bindings include + run :: T s -> Int (bound at tcfail179.hs:13:1) + ts :: T s (bound at tcfail179.hs:13:5) + g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16) + x :: x (bound at tcfail179.hs:14:26) + In the first argument of `g', namely `x' + In the expression: g x id + In a pattern binding: (x, _, b) = g x id diff --git a/testsuite/tests/typecheck/should_fail/tcfail182.stderr b/testsuite/tests/typecheck/should_fail/tcfail182.stderr index d6b97af250..e021987234 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail182.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail182.stderr @@ -2,5 +2,7 @@ tcfail182.hs:9:3: Couldn't match expected type `Prelude.Maybe a' with actual type `Maybe t0' + Relevant bindings include + f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1) In the pattern: Foo In an equation for `f': f Foo = 3 diff --git a/testsuite/tests/typecheck/should_fail/tcfail189.stderr b/testsuite/tests/typecheck/should_fail/tcfail189.stderr index 6364cc2d5b..0e953563d4 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail189.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail189.stderr @@ -1,7 +1,7 @@ tcfail189.hs:10:31: - Couldn't match type `[a0]' with `a -> a1' - Expected type: (a -> a1) -> [a] -> [[a]] + Couldn't match type `[a0]' with `a -> Integer' + Expected type: (a -> Integer) -> [a] -> [[a]] Actual type: [a0] -> [a0] In the return type of a call of `take' Probable cause: `take' is applied to too many arguments diff --git a/testsuite/tests/typecheck/should_fail/tcfail190.stderr b/testsuite/tests/typecheck/should_fail/tcfail190.stderr index a6469e72d7..db2d842f58 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail190.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail190.stderr @@ -1,8 +1,6 @@ tcfail190.hs:14:31: - No instance for (Ord Unorderable) - arising from a use of `groupWith' - Possible fix: add an instance declaration for (Ord Unorderable) + No instance for (Ord Unorderable) arising from a use of `groupWith' In the expression: groupWith In a stmt of a list comprehension: then group by x using groupWith In the expression: diff --git a/testsuite/tests/typecheck/should_fail/tcfail192.stderr b/testsuite/tests/typecheck/should_fail/tcfail192.stderr index 349121975c..d4cc8bbbfc 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail192.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail192.stderr @@ -1,8 +1,6 @@ tcfail192.hs:8:11: - No instance for (Num [[Char]]) - arising from a use of `+' - Possible fix: add an instance declaration for (Num [[Char]]) + No instance for (Num [[Char]]) arising from a use of `+' In the expression: x + 1 In the expression: [x + 1 | x <- ["Hello", "World"], then group using take 5] diff --git a/testsuite/tests/typecheck/should_fail/tcfail194.stderr b/testsuite/tests/typecheck/should_fail/tcfail194.stderr index 620fa75b52..7190a884ca 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail194.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail194.stderr @@ -1,9 +1,10 @@ -
-tcfail194.hs:9:29:
- Couldn't match type `[a0]' with `a -> t0'
- Expected type: (a -> t0) -> [a] -> [a]
- Actual type: [a0] -> [a0]
- In the return type of a call of `take'
- Probable cause: `take' is applied to too many arguments
- In the expression: take 5
- In a stmt of a list comprehension: then take 5 by x
+ +tcfail194.hs:9:29: + Couldn't match type `[a0]' with `a -> t' + Expected type: (a -> t) -> [a] -> [a] + Actual type: [a0] -> [a0] + Relevant bindings include z :: [t] (bound at tcfail194.hs:9:1) + In the return type of a call of `take' + Probable cause: `take' is applied to too many arguments + In the expression: take 5 + In a stmt of a list comprehension: then take 5 by x diff --git a/testsuite/tests/typecheck/should_fail/tcfail198.stderr b/testsuite/tests/typecheck/should_fail/tcfail198.stderr index bba13900de..ab040a1e2d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail198.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail198.stderr @@ -5,6 +5,10 @@ tcfail198.hs:6:36: an expression type signature: a1 at tcfail198.hs:6:36 `a' is a rigid type variable bound by the inferred type of f3 :: [a] -> [a] at tcfail198.hs:6:1 + Relevant bindings include + f3 :: [a] -> [a] (bound at tcfail198.hs:6:6) + x :: a (bound at tcfail198.hs:6:19) + xs :: [a] (bound at tcfail198.hs:6:21) In the expression: x :: a In the second argument of `(++)', namely `[x :: a]' In the expression: xs ++ [x :: a] diff --git a/testsuite/tests/typecheck/should_fail/tcfail201.stderr b/testsuite/tests/typecheck/should_fail/tcfail201.stderr index 6a60b9fc90..4d93f9fadd 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail201.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail201.stderr @@ -6,6 +6,11 @@ tcfail201.hs:17:27: gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b) -> (forall g. g -> c g) -> a -> c a at tcfail201.hs:15:12 + Relevant bindings include + gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b) + -> (forall g. g -> c g) -> a -> c a + (bound at tcfail201.hs:16:1) + hsDoc :: a (bound at tcfail201.hs:16:13) In the pattern: DocEmpty In a case alternative: DocEmpty -> z DocEmpty In the expression: diff --git a/testsuite/tests/typecheck/should_fail/tcfail206.stderr b/testsuite/tests/typecheck/should_fail/tcfail206.stderr index 3283089afc..2d0f87132f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail206.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail206.stderr @@ -19,6 +19,8 @@ tcfail206.hs:11:5: the type signature for c :: a -> (a, Bool) at tcfail206.hs:10:6 Expected type: a -> (a, Bool) Actual type: a -> (a, a) + Relevant bindings include + c :: a -> (a, Bool) (bound at tcfail206.hs:11:1) In the expression: (True || False,) In an equation for `c': c = (True || False,) @@ -43,5 +45,7 @@ tcfail206.hs:20:5: the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:19:6 Expected type: a -> (# a, Bool #) Actual type: a -> (# a, a #) + Relevant bindings include + f :: a -> (# a, Bool #) (bound at tcfail206.hs:20:1) In the expression: (# True || False, #) In an equation for `f': f = (# True || False, #) diff --git a/testsuite/tests/typecheck/should_fail/tcfail208.stderr b/testsuite/tests/typecheck/should_fail/tcfail208.stderr index d606115ad1..d3172b6a91 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail208.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail208.stderr @@ -5,6 +5,5 @@ tcfail208.hs:4:19: bound by the type signature for f :: (Monad m, Eq a) => a -> m a -> Bool at tcfail208.hs:3:6-40 - Possible fix: add an instance declaration for (Eq (m a)) In the expression: (return x == y) In an equation for `f': f x y = (return x == y) |