A ton of error message wibbles
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Sep 2012 11:19:56 +0000 (12:19 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Sep 2012 11:19:56 +0000 (12:19 +0100)
Notably
 * Showing relevant bindings
 * Not suggesting add instance (Num T); see Trac #7222

133 files changed:
testsuite/tests/annotations/should_fail/annfail05.stderr
testsuite/tests/annotations/should_fail/annfail08.stderr
testsuite/tests/arrows/should_fail/T5380.stderr
testsuite/tests/deriving/should_fail/T2851.stderr
testsuite/tests/deriving/should_fail/T3621.stderr
testsuite/tests/deriving/should_fail/T5287.stderr
testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr
testsuite/tests/deriving/should_fail/drvfail-functor2.stderr
testsuite/tests/deriving/should_fail/drvfail001.stderr
testsuite/tests/deriving/should_fail/drvfail002.stderr
testsuite/tests/deriving/should_fail/drvfail003.stderr
testsuite/tests/deriving/should_fail/drvfail004.stderr
testsuite/tests/deriving/should_fail/drvfail007.stderr
testsuite/tests/deriving/should_fail/drvfail012.stderr
testsuite/tests/deriving/should_fail/drvfail013.stderr
testsuite/tests/driver/T5147/T5147.stderr
testsuite/tests/gadt/T3169.stderr
testsuite/tests/gadt/rw.stderr
testsuite/tests/ghci.debugger/scripts/break003.stderr
testsuite/tests/ghci.debugger/scripts/break006.stderr
testsuite/tests/ghci.debugger/scripts/print019.stderr
testsuite/tests/ghci/scripts/ghci050.stderr
testsuite/tests/indexed-types/should_compile/Simple14.stderr
testsuite/tests/indexed-types/should_compile/T3208b.stderr
testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr
testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr
testsuite/tests/indexed-types/should_fail/T1897b.stderr
testsuite/tests/indexed-types/should_fail/T1900.stderr
testsuite/tests/indexed-types/should_fail/T2239.stderr
testsuite/tests/indexed-types/should_fail/T2544.stderr
testsuite/tests/indexed-types/should_fail/T2627b.stderr
testsuite/tests/indexed-types/should_fail/T2664.stderr
testsuite/tests/indexed-types/should_fail/T2693.stderr
testsuite/tests/indexed-types/should_fail/T3330a.stderr
testsuite/tests/indexed-types/should_fail/T3440.stderr
testsuite/tests/indexed-types/should_fail/T4093a.stderr
testsuite/tests/indexed-types/should_fail/T4093b.stderr
testsuite/tests/indexed-types/should_fail/T4099.stderr
testsuite/tests/indexed-types/should_fail/T4179.stderr
testsuite/tests/indexed-types/should_fail/T4272.stderr
testsuite/tests/indexed-types/should_fail/T5439.stderr
testsuite/tests/indexed-types/should_fail/T5934.stderr
testsuite/tests/indexed-types/should_fail/T6123.stderr
testsuite/tests/mdo/should_fail/mdofail001.stderr
testsuite/tests/module/mod46.stderr
testsuite/tests/parser/should_fail/readFail003.stderr
testsuite/tests/polykinds/T6054.stderr
testsuite/tests/polykinds/T7230.stderr
testsuite/tests/rebindable/rebindable6.stderr
testsuite/tests/safeHaskell/ghci/p15.stderr
testsuite/tests/simplCore/should_compile/simpl017.stderr
testsuite/tests/typecheck/should_compile/FD1.stderr
testsuite/tests/typecheck/should_compile/FD2.stderr
testsuite/tests/typecheck/should_compile/T2494.stderr
testsuite/tests/typecheck/should_compile/tc141.stderr
testsuite/tests/typecheck/should_compile/tc168.stderr
testsuite/tests/typecheck/should_compile/tc211.stderr
testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
testsuite/tests/typecheck/should_fail/IPFail.stderr
testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr
testsuite/tests/typecheck/should_fail/SCLoop.stderr
testsuite/tests/typecheck/should_fail/T1899.stderr
testsuite/tests/typecheck/should_fail/T2414.stderr
testsuite/tests/typecheck/should_fail/T2534.stderr
testsuite/tests/typecheck/should_fail/T2688.stderr
testsuite/tests/typecheck/should_fail/T2714.stderr
testsuite/tests/typecheck/should_fail/T2846b.stderr
testsuite/tests/typecheck/should_fail/T3592.stderr
testsuite/tests/typecheck/should_fail/T5300.stderr
testsuite/tests/typecheck/should_fail/T5570.stderr
testsuite/tests/typecheck/should_fail/T5684.stderr
testsuite/tests/typecheck/should_fail/T5689.stderr
testsuite/tests/typecheck/should_fail/T5853.stderr
testsuite/tests/typecheck/should_fail/T5858.stderr
testsuite/tests/typecheck/should_fail/mc20.stderr
testsuite/tests/typecheck/should_fail/mc22.stderr
testsuite/tests/typecheck/should_fail/mc23.stderr
testsuite/tests/typecheck/should_fail/mc24.stderr
testsuite/tests/typecheck/should_fail/mc25.stderr
testsuite/tests/typecheck/should_fail/tcfail001.stderr
testsuite/tests/typecheck/should_fail/tcfail002.stderr
testsuite/tests/typecheck/should_fail/tcfail003.stderr
testsuite/tests/typecheck/should_fail/tcfail004.stderr
testsuite/tests/typecheck/should_fail/tcfail005.stderr
testsuite/tests/typecheck/should_fail/tcfail006.stderr
testsuite/tests/typecheck/should_fail/tcfail007.stderr
testsuite/tests/typecheck/should_fail/tcfail008.stderr
testsuite/tests/typecheck/should_fail/tcfail010.stderr
testsuite/tests/typecheck/should_fail/tcfail013.stderr
testsuite/tests/typecheck/should_fail/tcfail014.stderr
testsuite/tests/typecheck/should_fail/tcfail015.stderr
testsuite/tests/typecheck/should_fail/tcfail016.stderr
testsuite/tests/typecheck/should_fail/tcfail017.stderr
testsuite/tests/typecheck/should_fail/tcfail018.stderr
testsuite/tests/typecheck/should_fail/tcfail019.stderr
testsuite/tests/typecheck/should_fail/tcfail020.stderr
testsuite/tests/typecheck/should_fail/tcfail029.stderr
testsuite/tests/typecheck/should_fail/tcfail032.stderr
testsuite/tests/typecheck/should_fail/tcfail033.stderr
testsuite/tests/typecheck/should_fail/tcfail043.stderr
testsuite/tests/typecheck/should_fail/tcfail046.stderr
testsuite/tests/typecheck/should_fail/tcfail065.stderr
testsuite/tests/typecheck/should_fail/tcfail068.stderr
testsuite/tests/typecheck/should_fail/tcfail076.stderr
testsuite/tests/typecheck/should_fail/tcfail083.stderr
testsuite/tests/typecheck/should_fail/tcfail099.stderr
testsuite/tests/typecheck/should_fail/tcfail102.stderr
testsuite/tests/typecheck/should_fail/tcfail103.stderr
testsuite/tests/typecheck/should_fail/tcfail106.stderr
testsuite/tests/typecheck/should_fail/tcfail109.stderr
testsuite/tests/typecheck/should_fail/tcfail128.stderr
testsuite/tests/typecheck/should_fail/tcfail131.stderr
testsuite/tests/typecheck/should_fail/tcfail133.stderr
testsuite/tests/typecheck/should_fail/tcfail137.stderr
testsuite/tests/typecheck/should_fail/tcfail140.stderr
testsuite/tests/typecheck/should_fail/tcfail153.stderr
testsuite/tests/typecheck/should_fail/tcfail169.stderr
testsuite/tests/typecheck/should_fail/tcfail174.stderr
testsuite/tests/typecheck/should_fail/tcfail175.stderr
testsuite/tests/typecheck/should_fail/tcfail178.stderr
testsuite/tests/typecheck/should_fail/tcfail179.stderr
testsuite/tests/typecheck/should_fail/tcfail182.stderr
testsuite/tests/typecheck/should_fail/tcfail189.stderr
testsuite/tests/typecheck/should_fail/tcfail190.stderr
testsuite/tests/typecheck/should_fail/tcfail192.stderr
testsuite/tests/typecheck/should_fail/tcfail194.stderr
testsuite/tests/typecheck/should_fail/tcfail198.stderr
testsuite/tests/typecheck/should_fail/tcfail201.stderr
testsuite/tests/typecheck/should_fail/tcfail206.stderr
testsuite/tests/typecheck/should_fail/tcfail208.stderr

index 4e861c6..04329ee 100644 (file)
@@ -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 #-}
index d10fbe5..df18d00 100644 (file)
@@ -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) #-}
index 7e0004f..36cf8a4 100644 (file)
@@ -1,24 +1,31 @@
-\r
-T5380.hs:7:27:\r
-    Couldn't match expected type `not_bool' with actual type `Bool'\r
-      `not_bool' is a rigid type variable bound by\r
-                 the type signature for\r
-                   testB :: not_bool -> (() -> ()) -> () -> not_unit\r
-                 at T5380.hs:6:10\r
-    In the expression: b\r
-    In the expression: proc () -> if b then f -< () else f -< ()\r
-    In an equation for `testB':\r
-        testB b f = proc () -> if b then f -< () else f -< ()\r
-\r
-T5380.hs:7:34:\r
-    Couldn't match type `not_unit' with `()'\r
-      `not_unit' is a rigid type variable bound by\r
-                 the type signature for\r
-                   testB :: not_bool -> (() -> ()) -> () -> not_unit\r
-                 at T5380.hs:6:10\r
-    Expected type: () -> not_unit\r
-      Actual type: () -> ()\r
-    In the expression: f\r
-    In the expression: proc () -> if b then f -< () else f -< ()\r
-    In an equation for `testB':\r
-        testB b f = proc () -> if b then f -< () else f -< ()\r
+
+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 -< ()
index a2beb98..70802ab 100644 (file)
@@ -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))
index 68213c6..b70fc33 100644 (file)
@@ -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))
index 93ea7d6..e95212f 100644 (file)
@@ -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
index b9d1eb5..fa5633e 100644 (file)
@@ -1,28 +1,26 @@
-\r
-drvfail-foldable-traversable1.hs:9:23:\r
-    No instance for (Functor Trivial1)\r
-      arising from the 'deriving' clause of a data type declaration\r
-    Possible fix:\r
-      add an instance declaration for (Functor Trivial1)\r
-      or use a standalone 'deriving instance' declaration,\r
-           so you can specify the instance context yourself\r
-    When deriving the instance for (Traversable Trivial1)\r
-\r
-drvfail-foldable-traversable1.hs:13:22:\r
-    No instance for (Foldable Trivial2)\r
-      arising from the 'deriving' clause of a data type declaration\r
-    Possible fix:\r
-      add an instance declaration for (Foldable Trivial2)\r
-      or use a standalone 'deriving instance' declaration,\r
-           so you can specify the instance context yourself\r
-    When deriving the instance for (Traversable Trivial2)\r
-\r
-drvfail-foldable-traversable1.hs:17:22:\r
-    Can't make a derived instance of `Foldable Infinite':\r
-      Constructor `Infinite' must not contain function types\r
-    In the data declaration for `Infinite'\r
-\r
-drvfail-foldable-traversable1.hs:21:22:\r
-    Can't make a derived instance of `Traversable (Cont r)':\r
-      Constructor `Cont' must not contain function types\r
-    In the data declaration for `Cont'\r
+
+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'
index 9c830aa..54dc6f7 100644 (file)
@@ -1,32 +1,31 @@
-\r
-drvfail-functor2.hs:1:29: Warning:\r
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
-\r
-drvfail-functor2.hs:7:14:\r
-    Can't make a derived instance of `Functor InFunctionArgument':\r
-      Constructor `InFunctionArgument' must not use the type variable in a function argument\r
-    In the newtype declaration for `InFunctionArgument'\r
-\r
-drvfail-functor2.hs:10:14:\r
-    Can't make a derived instance of `Functor OnSecondArg':\r
-      Constructor `OnSecondArg' must use the type variable only as the last argument of a data type\r
-    In the newtype declaration for `OnSecondArg'\r
-\r
-drvfail-functor2.hs:15:14:\r
-    Cannot derive well-kinded instance of form `Functor (NoArguments ...)'\r
-      Class `Functor' expects an argument of kind `* -> *'\r
-    In the newtype declaration for `NoArguments'\r
-\r
-drvfail-functor2.hs:20:14:\r
-    Can't make a derived instance of `Functor StupidConstraint':\r
-      Data type `StupidConstraint' must not have a class context (Eq a)\r
-    In the data declaration for `StupidConstraint'\r
-\r
-drvfail-functor2.hs:26:14:\r
-    No instance for (Functor NoFunctor)\r
-      arising from the 'deriving' clause of a data type declaration\r
-    Possible fix:\r
-      add an instance declaration for (Functor NoFunctor)\r
-      or use a standalone 'deriving instance' declaration,\r
-           so you can specify the instance context yourself\r
-    When deriving the instance for (Functor UseNoFunctor)\r
+
+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)
index a2a1495..8c0be37 100644 (file)
@@ -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))
index 281c6a3..4594fe9 100644 (file)
@@ -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)
index 4aa9853..f329420 100644 (file)
@@ -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))
index d08f315..fe193b9 100644 (file)
@@ -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))
index 7dc7124..d47c14e 100644 (file)
@@ -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)
index 22fac48..602033f 100644 (file)
@@ -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))
index 94927cd..29d8ba6 100644 (file)
@@ -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))
index 9d37468..6e8427b 100644 (file)
@@ -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
index 7ca72f9..f256f8c 100644 (file)
@@ -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:
index 418afad..ef5453c 100644 (file)
@@ -1,20 +1,28 @@
-\r
-rw.hs:14:47:\r
-    Couldn't match expected type `a' with actual type `Int'\r
-      `a' is a rigid type variable bound by\r
-          the type signature for writeInt :: T a -> IORef a -> IO ()\r
-          at rw.hs:12:12\r
-    In the second argument of `writeIORef', namely `(1 :: Int)'\r
-    In the expression: writeIORef ref (1 :: Int)\r
-    In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)\r
-\r
-rw.hs:19:51:\r
-    Couldn't match type `a' with `Bool'\r
-      `a' is a rigid type variable bound by\r
-          the type signature for readBool :: T a -> IORef a -> IO ()\r
-          at rw.hs:16:12\r
-    Expected type: a -> Bool\r
-      Actual type: Bool -> Bool\r
-    In the second argument of `(.)', namely `not'\r
-    In the second argument of `(>>=)', namely `(print . not)'\r
-    In the expression: readIORef ref >>= (print . not)\r
+
+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)
index 36c125b..03dc88b 100644 (file)
@@ -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
index ae2585f..45f6f83 100644 (file)
@@ -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'
index f23daf2..e5bcb7f 100644 (file)
@@ -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
index 80725e4..f31b5c4 100644 (file)
@@ -1,9 +1,14 @@
-\r
-<interactive>:6:49:\r
-    Couldn't match expected type `a'\r
-                with actual type `ListableElem (a, a)'\r
-      `a' is a rigid type variable bound by\r
-          the instance declaration at <interactive>:6:10\r
-    In the expression: a\r
-    In the expression: [a, b]\r
-    In an equation for `asList': asList (a, b) = [a, b]\r
+
+<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]
index 18221db..1665cca 100644 (file)
@@ -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))
index 6dc3e84..1026e5f 100644 (file)
@@ -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)
index f9dbbb1..428d4b9 100644 (file)
@@ -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])
index a6010f6..a90b09d 100644 (file)
@@ -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 }
index 003c014..b8a45c3 100644 (file)
@@ -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
index 9466ee1..1410fca 100644 (file)
@@ -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 ())
index 76afd8a..124eb79 100644 (file)
@@ -1,10 +1,12 @@
-\r
-SimpleFail5a.hs:31:11:\r
-    Couldn't match type `a' with `Int'\r
-      `a' is a rigid type variable bound by\r
-          the type signature for bar3wrong :: S3 a -> a\r
-          at SimpleFail5a.hs:30:14\r
-    Expected type: S3 a\r
-      Actual type: S3 Int\r
-    In the pattern: D3Int\r
-    In an equation for `bar3wrong': bar3wrong D3Int = 1\r
+
+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
index ff0667a..7311270 100644 (file)
@@ -1,15 +1,15 @@
-\r
-T1897b.hs:16:1:\r
-    Could not deduce (Depend a ~ Depend a0)\r
-    from the context (Bug a)\r
-      bound by the inferred type for `isValid':\r
-                 Bug a => [Depend a] -> Bool\r
-      at T1897b.hs:16:1-41\r
-    NB: `Depend' is a type function, and may not be injective\r
-    The type variable `a0' is ambiguous\r
-    Possible fix: add a type signature that fixes these type variable(s)\r
-    Expected type: [Depend a] -> Bool\r
-      Actual type: [Depend a0] -> Bool\r
-    When checking that `isValid'\r
-      has the inferred type `forall a. Bug a => [Depend a] -> Bool'\r
-    Probable cause: the inferred type is ambiguous\r
+
+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
index d20a632..c170c98 100644 (file)
@@ -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
index 759ba2b..d360bfd 100644 (file)
@@ -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
index b6bc222..bd81672 100644 (file)
@@ -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
index 624cd7e..0338bf6 100644 (file)
@@ -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
index cfd248d..07b12e4 100644 (file)
@@ -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:
index 4894b89..b873cf2 100644 (file)
@@ -1,16 +1,47 @@
-\r
-T2693.hs:10:7:\r
-    Couldn't match expected type `TFn a' with actual type `TFn a0'\r
-    NB: `TFn' is a type function, and may not be injective\r
-    The type variable `a0' is ambiguous\r
-    Possible fix: add a type signature that fixes these type variable(s)\r
-    When checking that `x' has the inferred type `forall a. TFn a'\r
-    Probable cause: the inferred type is ambiguous\r
-    In the expression:\r
-      do { let Just x = ...;\r
-           let n = fst x + fst x;\r
-           return () }\r
-    In an equation for `f':\r
-        f = do { let Just x = ...;\r
-                 let n = ...;\r
-                 return () }\r
+
+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 }
index 362c468..e44ab4d 100644 (file)
@@ -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)
index ab7c5ed..55b021b 100644 (file)
@@ -1,19 +1,23 @@
-\r
-T3440.hs:11:22:\r
-    Could not deduce (a ~ a1)\r
-    from the context (Fam a ~ Fam a1)\r
-      bound by a pattern with constructor\r
-                 GADT :: forall a. a -> Fam a -> GADT (Fam a),\r
-               in an equation for `unwrap'\r
-      at T3440.hs:11:9-16\r
-      `a' is a rigid type variable bound by\r
-          the type signature for unwrap :: GADT (Fam a) -> (a, Fam a)\r
-          at T3440.hs:10:11\r
-      `a1' is a rigid type variable bound by\r
-           a pattern with constructor\r
-             GADT :: forall a. a -> Fam a -> GADT (Fam a),\r
-           in an equation for `unwrap'\r
-           at T3440.hs:11:9\r
-    In the expression: x\r
-    In the expression: (x, y)\r
-    In an equation for `unwrap': unwrap (GADT x y) = (x, y)\r
+
+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)
index 4a16563..5a5ce08 100644 (file)
@@ -1,14 +1,15 @@
-\r
-T4093a.hs:8:8:\r
-    Could not deduce (e ~ ())\r
-    from the context (Foo e ~ Maybe e)\r
-      bound by the type signature for hang :: Foo e ~ Maybe e => Foo e\r
-      at T4093a.hs:7:9-34\r
-      `e' is a rigid type variable bound by\r
-          the type signature for hang :: Foo e ~ Maybe e => Foo e\r
-          at T4093a.hs:7:9\r
-    Expected type: Foo e\r
-      Actual type: Maybe ()\r
-    In the return type of a call of `Just'\r
-    In the expression: Just ()\r
-    In an equation for `hang': hang = Just ()\r
+
+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 ()
index 948ba56..67f9b7d 100644 (file)
@@ -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':
index 3512e32..74410ec 100644 (file)
@@ -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
index 45fbdaf..7236a50 100644 (file)
@@ -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
index 01f0126..a4e9525 100644 (file)
@@ -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
index 4d8742c..81453a0 100644 (file)
@@ -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:
index 4ec24d3..bb32907 100644 (file)
@@ -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
index c389866..0a82222 100644 (file)
@@ -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
index e20d82a..67929e5 100644 (file)
@@ -1,8 +1,6 @@
-\r
-mdofail001.hs:10:32:\r
-    No instance for (Num Char)\r
-      arising from the literal `1'\r
-    Possible fix: add an instance declaration for (Num Char)\r
-    In the expression: 1\r
-    In the first argument of `l', namely `[1, 2, 3]'\r
-    In the expression: l [1, 2, 3]\r
+
+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]
index 603d0d6..c4c8203 100644 (file)
@@ -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'
index fe8ce00..ae3518e 100644 (file)
@@ -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)
index 9b190ce..8270f4d 100644 (file)
@@ -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)
index ee82a2b..3bcccee 100644 (file)
@@ -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
index f380db4..5130968 100644 (file)
@@ -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;
index 30c2447..bc1069c 100644 (file)
@@ -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
 
index 497bc8b..334691d 100644 (file)
@@ -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]'
index ea6833b..fdeb30e 100644 (file)
@@ -1,12 +1,13 @@
-\r
-FD1.hs:16:1:\r
-    Could not deduce (a ~ (Int -> Int))\r
-    from the context (E a (Int -> Int))\r
-      bound by the type signature for\r
-                 plus :: E a (Int -> Int) => Int -> a\r
-      at FD1.hs:15:9-38\r
-      `a' is a rigid type variable bound by\r
-          the type signature for plus :: E a (Int -> Int) => Int -> a\r
-          at FD1.hs:15:9\r
-    The equation(s) for `plus' have two arguments,\r
-    but its type `Int -> a' has only one\r
+
+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
index 47221c5..d23dd33 100644 (file)
@@ -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)
index 2e943ac..bbb8d0c 100644 (file)
@@ -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
index a22689b..1942963 100644 (file)
@@ -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:
index cbaa0ac..8c0c813 100644 (file)
@@ -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
index e6c5675..3fc5e25 100644 (file)
@@ -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:
index 8a942de..60a3342 100644 (file)
@@ -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
index efad8b3..d8efdfe 100644 (file)
@@ -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
index 7cc4556..fbd0b44 100644 (file)
@@ -1,9 +1,7 @@
-\r
-LongWayOverlapping.hs:23:11:\r
-    No instance for (EmbAsChild [Char] Char)\r
-      arising from a use of `emb'\r
-    Possible fix:\r
-      add an instance declaration for (EmbAsChild [Char] Char)\r
-    In the expression: emb 'c'\r
-    In an equation for `emb': emb _ = emb 'c'\r
-    In the instance declaration for `EmbAsChild [Char] Bool'\r
+
+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'
index 277b84a..37970cc 100644 (file)
@@ -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])
index d7ab2be..0838984 100644 (file)
@@ -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)
index 5fa8f00..53ea2b1 100644 (file)
@@ -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'
index bf19e68..8943b97 100644 (file)
@@ -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 (>>=) [] []
index aa89656..b937de0 100644 (file)
@@ -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)
index b8d6ae3..6805650 100644 (file)
@@ -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
index 56b1a13..b70c4d1 100644 (file)
@@ -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])
index 477c3aa..08a02ce 100644 (file)
@@ -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
 
index 272f8b5..728655f 100644 (file)
@@ -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
index 9daf268..e69cbd5 100644 (file)
@@ -1,6 +1,6 @@
-\r
-T5570.hs:7:16:\r
-    Couldn't match kind `#' against `*'\r
-    In the second argument of `($)', namely `D# $ 3.0##'\r
-    In the expression: print $ D# $ 3.0##\r
-    In an equation for `main': main = print $ D# $ 3.0##\r
+
+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##
index 0aa8b17..c0575fd 100644 (file)
@@ -1,10 +1,78 @@
-\r
-T5684.hs:53:12:\r
-    No instance for (A Bool)\r
-      arising from a use of `op'\r
-    Possible fix: add an instance declaration for (A Bool)\r
-    In the expression: op False False\r
-    In the expression:\r
-      [op True undefined, op False False, op 'c' undefined]\r
-    In an equation for `flop6':\r
-        flop6 = [op True undefined, op False False, op 'c' undefined]\r
+
+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]
index 28f9c01..48e923b 100644 (file)
@@ -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
index eeba39f..6ee736c 100644 (file)
@@ -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"
index 5e0cf15..0ce0d5d 100644 (file)
@@ -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 ([], [])
index ee9bb4b..01048c4 100644 (file)
@@ -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:
index 6a3474c..d020bae 100644 (file)
@@ -1,10 +1,11 @@
-\r
-mc22.hs:10:26:\r
-    Couldn't match type `a' with `t0 a'\r
-      `a' is a rigid type variable bound by\r
-          a type expected by the context: [a] -> [t0 a] at mc22.hs:10:9\r
-    Expected type: [a] -> [t0 a]\r
-      Actual type: [a] -> [a]\r
-    In the return type of a call of `take'\r
-    In the expression: take 5\r
-    In a stmt of a monad comprehension: then group using take 5\r
+
+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
index 632bac9..b8c3987 100644 (file)
@@ -1,9 +1,10 @@
-\r
-mc23.hs:9:29:\r
-    Couldn't match type `[a0]' with `a -> b0'\r
-    Expected type: (a -> b0) -> [a] -> t0 a\r
-      Actual type: [a0] -> [a0]\r
-    In the return type of a call of `take'\r
-    Probable cause: `take' is applied to too many arguments\r
-    In the expression: take 5\r
-    In a stmt of a monad comprehension: then take 5 by x\r
+
+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
index a2b11e2..1249bc2 100644 (file)
@@ -1,9 +1,9 @@
-\r
-mc24.hs:10:31:\r
-    Couldn't match type `[a0]' with `a -> a1'\r
-    Expected type: (a -> a1) -> [a] -> t0 [a]\r
-      Actual type: [a0] -> [a0]\r
-    In the return type of a call of `take'\r
-    Probable cause: `take' is applied to too many arguments\r
-    In the expression: take 2\r
-    In a stmt of a monad comprehension: then group by x using take 2\r
+
+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
index 643f352..3925f83 100644 (file)
@@ -1,8 +1,9 @@
-\r
-mc25.hs:9:46:\r
-    Couldn't match type `Int' with `a -> t0'\r
-    Expected type: (a -> t0) -> [a] -> [t1 a]\r
-      Actual type: Int -> [a] -> [a]\r
-    In the expression: take\r
-    In a stmt of a monad comprehension: then group by x using take\r
-    In the expression: [x | x <- [1 .. 10], then group by x using take]\r
+
+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]
index 7c9b8ba..85b6788 100644 (file)
@@ -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]'
index 12a77d0..3a9c89c 100644 (file)
@@ -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
index 62fb6a9..42d7c59 100644 (file)
@@ -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']
index 5f04088..db24fb2 100644 (file)
@@ -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)
index 66e6fa9..9cfae02 100644 (file)
@@ -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')
index d9ab68b..a31f4fd 100644 (file)
@@ -1,8 +1,6 @@
-\r
-tcfail006.hs:4:24:\r
-    No instance for (Num Bool)\r
-      arising from the literal `1'\r
-    Possible fix: add an instance declaration for (Num Bool)\r
-    In the expression: 1\r
-    In the expression: (True, 1)\r
-    In a case alternative: True -> (True, 1)\r
+
+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)
index 6f93a46..d375e40 100644 (file)
@@ -1,10 +1,8 @@
-\r
-tcfail007.hs:3:15:\r
-    No instance for (Num Bool)\r
-      arising from a use of `+'\r
-    Possible fix: add an instance declaration for (Num Bool)\r
-    In the expression: x + 1\r
-    In an equation for `n':\r
-        n x\r
-          | True = x + 1\r
-          | False = True\r
+
+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
index 978d946..c0791f2 100644 (file)
@@ -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
index 5f22a3a..695655c 100644 (file)
@@ -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
index 439a663..a1fd433 100644 (file)
@@ -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
index d46bf92..713ffce 100644 (file)
@@ -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
index 24affd7..41899df 100644 (file)
@@ -1,7 +1,5 @@
-\r
-tcfail015.hs:7:13:\r
-    No instance for (Num Bool)\r
-      arising from the literal `2'\r
-    Possible fix: add an instance declaration for (Num Bool)\r
-    In the expression: 2\r
-    In an equation for `g': g (ANull) = 2\r
+
+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
index 6c1fa9c..17f2f16 100644 (file)
@@ -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)
index 9ac3c7d..006ff73 100644 (file)
@@ -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]'
index 54df698..67b3cbb 100644 (file)
@@ -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
index ac2178b..79ab411 100644 (file)
@@ -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]'
index f15fd98..13ef851 100644 (file)
@@ -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]'
index cf83c56..d9cb862 100644 (file)
@@ -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
index 8cb4c1b..09d69ca 100644 (file)
@@ -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)
index 826ad46..5382284 100644 (file)
@@ -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]
index 3e52e69..6067500 100644 (file)
@@ -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
index 1b668d0..e3a8f16 100644 (file)
@@ -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))
index fbe7e54..ae19816 100644 (file)
@@ -1,11 +1,14 @@
-\r
-tcfail065.hs:29:20:\r
-    Couldn't match expected type `x' with actual type `x1'\r
-      `x' is a rigid type variable bound by\r
-          the instance declaration at tcfail065.hs:28:10\r
-      `x1' is a rigid type variable bound by\r
-           the type signature for setX :: x1 -> X x -> X x\r
-           at tcfail065.hs:29:3\r
-    In the first argument of `X', namely `x'\r
-    In the expression: X x\r
-    In an equation for `setX': setX x (X _) = X x\r
+
+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
index bf6e144..687c8ea 100644 (file)
-\r
-tcfail068.hs:14:9:\r
-    Could not deduce (s1 ~ s)\r
-    from the context (Constructed a)\r
-      bound by the type signature for\r
-                 itgen :: Constructed a => (Int, Int) -> a -> IndTree s a\r
-      at tcfail068.hs:11:10-55\r
-      `s1' is a rigid type variable bound by\r
-           a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
-           at tcfail068.hs:13:9\r
-      `s' is a rigid type variable bound by\r
-          the type signature for\r
-            itgen :: Constructed a => (Int, Int) -> a -> IndTree s a\r
-          at tcfail068.hs:11:10\r
-    Expected type: GHC.ST.ST s1 (IndTree s a)\r
-      Actual type: GHC.ST.ST s1 (STArray s1 (Int, Int) a)\r
-    In the return type of a call of `newSTArray'\r
-    In the first argument of `runST', namely\r
-      `(newSTArray ((1, 1), n) x)'\r
-    In the expression: runST (newSTArray ((1, 1), n) x)\r
-\r
-tcfail068.hs:19:21:\r
-    Could not deduce (s ~ s1)\r
-    from the context (Constructed a)\r
-      bound by the type signature for\r
-                 itiap :: Constructed a =>\r
-                          (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a\r
-      at tcfail068.hs:16:10-75\r
-      `s' is a rigid type variable bound by\r
-          the type signature for\r
-            itiap :: Constructed a =>\r
-                     (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a\r
-          at tcfail068.hs:16:10\r
-      `s1' is a rigid type variable bound by\r
-           a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
-           at tcfail068.hs:18:9\r
-    Expected type: STArray s1 (Int, Int) a\r
-      Actual type: IndTree s a\r
-    In the first argument of `readSTArray', namely `arr'\r
-    In the first argument of `(>>=)', namely `readSTArray arr i'\r
-    In the first argument of `runST', namely\r
-      `(readSTArray arr i\r
-        >>= \ val -> writeSTArray arr i (f val) >> return arr)'\r
-\r
-tcfail068.hs:24:35:\r
-    Could not deduce (s ~ s1)\r
-    from the context (Constructed a)\r
-      bound by the type signature for\r
-                 itrap :: Constructed a =>\r
-                          ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a\r
-      at tcfail068.hs:23:10-87\r
-      `s' is a rigid type variable bound by\r
-          the type signature for\r
-            itrap :: Constructed a =>\r
-                     ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a\r
-          at tcfail068.hs:23:10\r
-      `s1' is a rigid type variable bound by\r
-           a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
-           at tcfail068.hs:24:29\r
-    Expected type: GHC.ST.ST s1 (IndTree s a)\r
-      Actual type: GHC.ST.ST s (IndTree s a)\r
-    In the return type of a call of itrap'\r
-    In the first argument of `runST', namely `(itrap' i k)'\r
-    In the expression: runST (itrap' i k)\r
-\r
-tcfail068.hs:36:46:\r
-    Could not deduce (s ~ s1)\r
-    from the context (Constructed b)\r
-      bound by the type signature for\r
-                 itrapstate :: Constructed b =>\r
-                               ((Int, Int), (Int, Int))\r
-                               -> (a -> b -> (a, b))\r
-                               -> ((Int, Int) -> c -> a)\r
-                               -> (a -> c)\r
-                               -> c\r
-                               -> IndTree s b\r
-                               -> (c, IndTree s b)\r
-      at tcfail068.hs:(34,15)-(35,62)\r
-      `s' is a rigid type variable bound by\r
-          the type signature for\r
-            itrapstate :: Constructed b =>\r
-                          ((Int, Int), (Int, Int))\r
-                          -> (a -> b -> (a, b))\r
-                          -> ((Int, Int) -> c -> a)\r
-                          -> (a -> c)\r
-                          -> c\r
-                          -> IndTree s b\r
-                          -> (c, IndTree s b)\r
-          at tcfail068.hs:34:15\r
-      `s1' is a rigid type variable bound by\r
-           a type expected by the context: GHC.ST.ST s1 (c, IndTree s b)\r
-           at tcfail068.hs:36:40\r
-    Expected type: GHC.ST.ST s1 (c, IndTree s b)\r
-      Actual type: GHC.ST.ST s (c, IndTree s b)\r
-    In the return type of a call of itrapstate'\r
-    In the first argument of `runST', namely `(itrapstate' i k s)'\r
-    In the expression: runST (itrapstate' i k s)\r
+
+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)
index 4ca4cf4..5e8361a 100644 (file)
@@ -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)'
index 77794ff..589d2c9 100644 (file)
@@ -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)
index aa7eb99..49132b0 100644 (file)
@@ -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
index 4c651bf..516734b 100644 (file)
@@ -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}
index 134f36f..ea873e6 100644 (file)
@@ -1,12 +1,16 @@
-\r
-tcfail103.hs:15:23:\r
-    Couldn't match type `t' with `s'\r
-      `t' is a rigid type variable bound by\r
-          the type signature for f :: ST t Int at tcfail103.hs:10:5\r
-      `s' is a rigid type variable bound by\r
-          the type signature for g :: ST s Int at tcfail103.hs:13:14\r
-    Expected type: STRef s Int\r
-      Actual type: STRef t Int\r
-    In the first argument of `readSTRef', namely `v'\r
-    In the expression: readSTRef v\r
-    In an equation for `g': g = readSTRef v\r
+
+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
index 09c0976..b08c7df 100644 (file)
@@ -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'
index a72c623..5455815 100644 (file)
@@ -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'
index 0834cc2..265b783 100644 (file)
@@ -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 = ...
index 785801a..db2a954 100644 (file)
@@ -1,11 +1,14 @@
-\r
-tcfail131.hs:7:9:\r
-    Could not deduce (b ~ Integer)\r
-    from the context (Num b)\r
-      bound by the type signature for g :: Num b => b -> b\r
-      at tcfail131.hs:6:8-22\r
-      `b' is a rigid type variable bound by\r
-          the type signature for g :: Num b => b -> b at tcfail131.hs:6:8\r
-    In the return type of a call of `f'\r
-    In the expression: f x x\r
-    In an equation for `g': g x = f x x\r
+
+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
index 08c9b97..48ea0eb 100644 (file)
@@ -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)
index 9cbe69b..b84fff1 100644 (file)
@@ -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]
index f24a2a7..0d9cd34 100644 (file)
@@ -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`)'
index 200df0b..2647156 100644 (file)
@@ -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':
index cfe63c0..1e0262d 100644 (file)
@@ -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))
index c4fb525..762a87e 100644 (file)
@@ -1,31 +1,35 @@
-\r
-tcfail174.hs:9:10:\r
-    Couldn't match expected type `forall a. a -> a'\r
-                with actual type `a0 -> a0'\r
-    In the first argument of `Base', namely `id'\r
-    In the expression: Base id\r
-    In an equation for `g': g = Base id\r
-\r
-tcfail174.hs:13:14:\r
-    Couldn't match type `a' with `a1'\r
-      `a' is a rigid type variable bound by\r
-          the inferred type of h1 :: Capture a at tcfail174.hs:13:1\r
-      `a1' is a rigid type variable bound by\r
-           the type forall a1. a1 -> a1 at tcfail174.hs:13:14\r
-    Expected type: Capture (forall x. x -> a)\r
-      Actual type: Capture (forall a. a -> a)\r
-    In the first argument of `Capture', namely `g'\r
-    In the expression: Capture g\r
-    In an equation for `h1': h1 = Capture g\r
-\r
-tcfail174.hs:16:14:\r
-    Couldn't match type `a' with `b'\r
-      `a' is a rigid type variable bound by\r
-          the type forall a. a -> a at tcfail174.hs:16:14\r
-      `b' is a rigid type variable bound by\r
-          the type signature for h2 :: Capture b at tcfail174.hs:15:7\r
-    Expected type: Capture (forall x. x -> b)\r
-      Actual type: Capture (forall a. a -> a)\r
-    In the first argument of `Capture', namely `g'\r
-    In the expression: Capture g\r
-    In an equation for `h2': h2 = Capture g\r
+
+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
index 797b701..d467a15 100644 (file)
@@ -1,8 +1,10 @@
-\r
-tcfail175.hs:11:1:\r
-    Couldn't match expected type `a'\r
-                with actual type `String -> String -> String'\r
-      `a' is a rigid type variable bound by\r
-          the type signature for evalRHS :: Int -> a at tcfail175.hs:10:12\r
-    The equation(s) for `evalRHS' have three arguments,\r
-    but its type `Int -> a' has only one\r
+
+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
index 66773a2..b0b6360 100644 (file)
@@ -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 ()
index 4962c8a..c60c7ac 100644 (file)
@@ -1,13 +1,18 @@
-\r
-tcfail179.hs:14:39:\r
-    Couldn't match expected type `s' with actual type `x'\r
-      `s' is a rigid type variable bound by\r
-          the type signature for run :: T s -> Int at tcfail179.hs:12:8\r
-      `x' is a rigid type variable bound by\r
-          a pattern with constructor\r
-            T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,\r
-          in a case alternative\r
-          at tcfail179.hs:14:14\r
-    In the first argument of `g', namely `x'\r
-    In the expression: g x id\r
-    In a pattern binding: (x, _, b) = g x id\r
+
+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
index d6b97af..e021987 100644 (file)
@@ -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
index 6364cc2..0e95356 100644 (file)
@@ -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
index a6469e7..db2d842 100644 (file)
@@ -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:
index 3491219..d4cc8bb 100644 (file)
@@ -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]
index 620fa75..7190a88 100644 (file)
@@ -1,9 +1,10 @@
-\r
-tcfail194.hs:9:29:\r
-    Couldn't match type `[a0]' with `a -> t0'\r
-    Expected type: (a -> t0) -> [a] -> [a]\r
-      Actual type: [a0] -> [a0]\r
-    In the return type of a call of `take'\r
-    Probable cause: `take' is applied to too many arguments\r
-    In the expression: take 5\r
-    In a stmt of a list comprehension: then take 5 by x\r
+
+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
index bba1390..ab040a1 100644 (file)
@@ -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]
index 6a60b9f..4d93f9f 100644 (file)
@@ -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:
index 3283089..2d0f871 100644 (file)
@@ -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, #)
index d606115..d3172b6 100644 (file)
@@ -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)