Error message wibbles
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 2 Sep 2011 08:29:13 +0000 (09:29 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 2 Sep 2011 08:29:13 +0000 (09:29 +0100)
32 files changed:
testsuite/tests/ghci.debugger/scripts/break027.stdout
testsuite/tests/ghci.debugger/scripts/dynbrk001.stdout
testsuite/tests/ghci/scripts/T4087.stdout
testsuite/tests/ghci/scripts/ghci008.stdout
testsuite/tests/ghci/scripts/ghci011.stdout
testsuite/tests/ghci/scripts/ghci012.stdout
testsuite/tests/ghci/scripts/ghci019.stdout
testsuite/tests/ghci/scripts/ghci020.stdout
testsuite/tests/ghci/scripts/ghci033.stdout
testsuite/tests/indexed-types/should_compile/T3017.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail11a.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail11b.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail11c.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail11d.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail2b.stderr
testsuite/tests/indexed-types/should_fail/T3330b.stderr
testsuite/tests/indexed-types/should_fail/T4485.stderr
testsuite/tests/module/mod44.stderr
testsuite/tests/module/mod51.stderr
testsuite/tests/module/mod52.stderr
testsuite/tests/safeHaskell/safeLanguage/SafeLang10.stderr
testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr
testsuite/tests/typecheck/should_fail/T2307.stderr
testsuite/tests/typecheck/should_fail/T5095.stderr
testsuite/tests/typecheck/should_fail/tcfail023.stderr
testsuite/tests/typecheck/should_fail/tcfail035.stderr
testsuite/tests/typecheck/should_fail/tcfail036.stderr
testsuite/tests/typecheck/should_fail/tcfail073.stderr
testsuite/tests/typecheck/should_fail/tcfail096.stderr
testsuite/tests/typecheck/should_fail/tcfail118.stderr
testsuite/tests/typecheck/should_fail/tcfail121.stderr
testsuite/tests/typecheck/should_fail/tcfail202.stderr

index 818111a..c02c534 100644 (file)
@@ -6,4 +6,4 @@ _result :: [a] = _
 a :: a = _
 left :: [a] = _
 right :: [a] = _
-a :: a         -- <no location info>
+a :: a         -- Defined at <no location info>
index 3ce4969..3d8780c 100644 (file)
@@ -2,4 +2,4 @@ Breakpoint 1 does not exist
 No breakpoints found at that location.
 No active breakpoints.
 [4,8,15,16,23,42]
-map :: forall a b. (a -> b) -> [a] -> [b]      -- Defined in GHC.Base
+map :: forall a b. (a -> b) -> [a] -> [b]      -- Defined in `GHC.Base'
index d3e3ae9..e28eac1 100644 (file)
@@ -1,3 +1,3 @@
 data Equal a b where
   Equal :: Equal a a
-       -- Defined at T4087.hs:5:6-10
+       -- Defined at T4087.hs:5:6
index 000f254..d04dcec 100644 (file)
@@ -1,36 +1,36 @@
-class (Eq a, Show a) => Num a where\r
-  (+) :: a -> a -> a\r
-  ...\r
-       -- Defined in GHC.Num\r
-infixl 6 +\r
-class (Eq a, Show a) => Num a where\r
-  (+) :: a -> a -> a\r
-  ...\r
-       -- Defined in GHC.Num\r
-infixl 6 +\r
-data Data.Complex.Complex a = !a Data.Complex.:+ !a\r
-       -- Defined in Data.Complex\r
-infix 6 Data.Complex.:+\r
-data Data.Complex.Complex a = !a Data.Complex.:+ !a\r
-       -- Defined in Data.Complex\r
-infix 6 Data.Complex.:+\r
-class (RealFrac a, Floating a) => RealFloat a where\r
-  floatRadix :: a -> Integer\r
-  floatDigits :: a -> Int\r
-  floatRange :: a -> (Int, Int)\r
-  decodeFloat :: a -> (Integer, Int)\r
-  encodeFloat :: Integer -> Int -> a\r
-  exponent :: a -> Int\r
-  significand :: a -> a\r
-  scaleFloat :: Int -> a -> a\r
-  isNaN :: a -> Bool\r
-  isInfinite :: a -> Bool\r
-  isDenormalized :: a -> Bool\r
-  isNegativeZero :: a -> Bool\r
-  isIEEE :: a -> Bool\r
-  atan2 :: a -> a -> a\r
-       -- Defined in GHC.Float\r
-instance RealFloat Float -- Defined in GHC.Float\r
-instance RealFloat Double -- Defined in GHC.Float\r
-Data.List.isPrefixOf :: Eq a => [a] -> [a] -> Bool\r
-       -- Defined in Data.List\r
+class (Eq a, Show a) => Num a where
+  (+) :: a -> a -> a
+  ...
+       -- Defined in `GHC.Num'
+infixl 6 +
+class (Eq a, Show a) => Num a where
+  (+) :: a -> a -> a
+  ...
+       -- Defined in `GHC.Num'
+infixl 6 +
+data Data.Complex.Complex a = !a Data.Complex.:+ !a
+       -- Defined in `Data.Complex'
+infix 6 Data.Complex.:+
+data Data.Complex.Complex a = !a Data.Complex.:+ !a
+       -- Defined in `Data.Complex'
+infix 6 Data.Complex.:+
+class (RealFrac a, Floating a) => RealFloat a where
+  floatRadix :: a -> Integer
+  floatDigits :: a -> Int
+  floatRange :: a -> (Int, Int)
+  decodeFloat :: a -> (Integer, Int)
+  encodeFloat :: Integer -> Int -> a
+  exponent :: a -> Int
+  significand :: a -> a
+  scaleFloat :: Int -> a -> a
+  isNaN :: a -> Bool
+  isInfinite :: a -> Bool
+  isDenormalized :: a -> Bool
+  isNegativeZero :: a -> Bool
+  isIEEE :: a -> Bool
+  atan2 :: a -> a -> a
+       -- Defined in `GHC.Float'
+instance RealFloat Float -- Defined in `GHC.Float'
+instance RealFloat Double -- Defined in `GHC.Float'
+Data.List.isPrefixOf :: Eq a => [a] -> [a] -> Bool
+       -- Defined in `Data.List'
index 40666e0..8d78f41 100644 (file)
@@ -1,21 +1,21 @@
-data [] a = [] | a : [a]       -- Defined in GHC.Types\r
-instance Eq a => Eq [a] -- Defined in GHC.Classes\r
-instance Monad [] -- Defined in GHC.Base\r
-instance Functor [] -- Defined in GHC.Base\r
-instance Ord a => Ord [a] -- Defined in GHC.Classes\r
-instance Read a => Read [a] -- Defined in GHC.Read\r
-instance Show a => Show [a] -- Defined in GHC.Show\r
-data () = ()   -- Defined in GHC.Tuple\r
-instance Bounded () -- Defined in GHC.Enum\r
-instance Enum () -- Defined in GHC.Enum\r
-instance Eq () -- Defined in GHC.Classes\r
-instance Ord () -- Defined in GHC.Classes\r
-instance Read () -- Defined in GHC.Read\r
-instance Show () -- Defined in GHC.Show\r
-data (,) a b = (,) a b         -- Defined in GHC.Tuple\r
-instance (Bounded a, Bounded b) => Bounded (a, b)\r
-  -- Defined in GHC.Enum\r
-instance (Eq a, Eq b) => Eq (a, b) -- Defined in GHC.Classes\r
-instance (Ord a, Ord b) => Ord (a, b) -- Defined in GHC.Classes\r
-instance (Read a, Read b) => Read (a, b) -- Defined in GHC.Read\r
-instance (Show a, Show b) => Show (a, b) -- Defined in GHC.Show\r
+data [] a = [] | a : [a]       -- Defined in `GHC.Types'
+instance Eq a => Eq [a] -- Defined in `GHC.Classes'
+instance Monad [] -- Defined in `GHC.Base'
+instance Functor [] -- Defined in `GHC.Base'
+instance Ord a => Ord [a] -- Defined in `GHC.Classes'
+instance Read a => Read [a] -- Defined in `GHC.Read'
+instance Show a => Show [a] -- Defined in `GHC.Show'
+data () = ()   -- Defined in `GHC.Tuple'
+instance Bounded () -- Defined in `GHC.Enum'
+instance Enum () -- Defined in `GHC.Enum'
+instance Eq () -- Defined in `GHC.Classes'
+instance Ord () -- Defined in `GHC.Classes'
+instance Read () -- Defined in `GHC.Read'
+instance Show () -- Defined in `GHC.Show'
+data (,) a b = (,) a b         -- Defined in `GHC.Tuple'
+instance (Bounded a, Bounded b) => Bounded (a, b)
+  -- Defined in `GHC.Enum'
+instance (Eq a, Eq b) => Eq (a, b) -- Defined in `GHC.Classes'
+instance (Ord a, Ord b) => Ord (a, b) -- Defined in `GHC.Classes'
+instance (Read a, Read b) => Read (a, b) -- Defined in `GHC.Read'
+instance (Show a, Show b) => Show (a, b) -- Defined in `GHC.Show'
index 98780e4..32ceac8 100644 (file)
@@ -1 +1 @@
-($$$) :: [b -> c] -> [b] -> [c]        -- Defined at <interactive>:1:8-10
+($$$) :: [b -> c] -> [b] -> [c]        -- Defined at <interactive>:1:8
index fa40270..f50279e 100644 (file)
@@ -1,2 +1,2 @@
-data Foo = Foo         -- Defined at ghci019.hs:8:6-8
-instance Prelude.Eq Foo -- Defined at ghci019.hs:9:10-23
+data Foo = Foo         -- Defined at ghci019.hs:8:6
+instance Prelude.Eq Foo -- Defined at ghci019.hs:9:10
index 30f3bf6..2741b4f 100644 (file)
@@ -1 +1 @@
-data (->) a b  -- Defined in GHC.Prim
+data (->) a b  -- Defined in `GHC.Prim'
index 748fab8..7c21dbe 100644 (file)
@@ -1,2 +1,2 @@
 data Foo = Foo1 Int | Int `InfixCon` Bool
-       -- Defined at ghci033.hs:4:6-8
+       -- Defined at ghci033.hs:4:6
index a41b6fe..cd03a10 100644 (file)
@@ -12,8 +12,8 @@ COERCION AXIOMS
   axiom Foo.TFCo:R:ElemListColl [a]
     :: Elem (ListColl a) ~ Foo.R:ElemListColl a
 INSTANCES
-  instance Coll (ListColl a) -- Defined at T3017.hs:12:11-27
+  instance Coll (ListColl a) -- Defined at T3017.hs:12:11
 FAMILY INSTANCES
-  type Elem (ListColl a) -- Defined at T3017.hs:13:9-12
+  type Elem (ListColl a) -- Defined at T3017.hs:13:9
 Dependent modules: []
 Dependent packages: [base, ghc-prim, integer-gmp]
index 23a8fd9..9af6037 100644 (file)
@@ -1,10 +1,10 @@
 
 SimpleFail11a.hs:8:15:
     Conflicting family instance declarations:
-      data instance C9 Int Int -- Defined at SimpleFail11a.hs:8:15-16
-      data instance C9 Int Int -- Defined at SimpleFail11a.hs:6:15-16
+      data instance C9 Int Int -- Defined at SimpleFail11a.hs:8:15
+      data instance C9 Int Int -- Defined at SimpleFail11a.hs:6:15
 
 SimpleFail11a.hs:13:15:
     Conflicting family instance declarations:
-      type instance D9 Int Int -- Defined at SimpleFail11a.hs:13:15-16
-      type instance D9 Int Int -- Defined at SimpleFail11a.hs:11:15-16
+      type instance D9 Int Int -- Defined at SimpleFail11a.hs:13:15
+      type instance D9 Int Int -- Defined at SimpleFail11a.hs:11:15
index f32fe3a..46eb582 100644 (file)
@@ -1,10 +1,10 @@
 
 SimpleFail11b.hs:9:15:
     Conflicting family instance declarations:
-      data instance C9 [a] Int -- Defined at SimpleFail11b.hs:9:15-16
-      data instance C9 [a] Int -- Defined at SimpleFail11b.hs:7:15-16
+      data instance C9 [a] Int -- Defined at SimpleFail11b.hs:9:15
+      data instance C9 [a] Int -- Defined at SimpleFail11b.hs:7:15
 
 SimpleFail11b.hs:15:15:
     Conflicting family instance declarations:
-      type instance D9 [a] Int -- Defined at SimpleFail11b.hs:15:15-16
-      type instance D9 [a] Int -- Defined at SimpleFail11b.hs:13:15-16
+      type instance D9 [a] Int -- Defined at SimpleFail11b.hs:15:15
+      type instance D9 [a] Int -- Defined at SimpleFail11b.hs:13:15
index ccc897a..61f1553 100644 (file)
@@ -1,10 +1,10 @@
 
 SimpleFail11c.hs:7:15:
     Conflicting family instance declarations:
-      data instance C9 [a] Int -- Defined at SimpleFail11c.hs:7:15-16
-      data instance C9 [Int] Int -- Defined at SimpleFail11c.hs:9:15-16
+      data instance C9 [a] Int -- Defined at SimpleFail11c.hs:7:15
+      data instance C9 [Int] Int -- Defined at SimpleFail11c.hs:9:15
 
 SimpleFail11c.hs:15:15:
     Conflicting family instance declarations:
-      type instance D9 [Int] Int -- Defined at SimpleFail11c.hs:15:15-16
-      type instance D9 [a] Int -- Defined at SimpleFail11c.hs:13:15-16
+      type instance D9 [Int] Int -- Defined at SimpleFail11c.hs:15:15
+      type instance D9 [a] Int -- Defined at SimpleFail11c.hs:13:15
index 1847565..0999d49 100644 (file)
@@ -1,5 +1,5 @@
 
 SimpleFail11d.hs:10:15:
     Conflicting family instance declarations:
-      data instance C9 [a] [Int] -- Defined at SimpleFail11d.hs:10:15-16
-      data instance C9 [Int] [a] -- Defined at SimpleFail11d.hs:8:15-16
+      data instance C9 [a] [Int] -- Defined at SimpleFail11d.hs:10:15
+      data instance C9 [Int] [a] -- Defined at SimpleFail11d.hs:8:15
index 2140eb0..ebc7d27 100644 (file)
@@ -1,5 +1,5 @@
 
 SimpleFail2b.hs:10:11:
     Conflicting family instance declarations:
-      data Sd Int -- Defined at SimpleFail2b.hs:10:11-12
-      data Sd Int -- Defined at SimpleFail2b.hs:9:11-12
+      data Sd Int -- Defined at SimpleFail2b.hs:10:11
+      data Sd Int -- Defined at SimpleFail2b.hs:9:11
index 927bd5b..6c00e2f 100644 (file)
@@ -1,5 +1,5 @@
 
 T3330b.hs:14:10:
     Conflicting family instance declarations:
-      type Res c a b -- Defined at T3330b.hs:14:10-12
-      type Res [c] a b -- Defined at T3330b.hs:18:10-12
+      type Res c a b -- Defined at T3330b.hs:14:10
+      type Res [c] a b -- Defined at T3330b.hs:18:10
index 26a31a9..d8ebccb 100644 (file)
@@ -6,10 +6,10 @@ T4485.hs:47:15:
     Matching instances:
       instance [overlap ok] (EmbedAsChild m c, m1 ~ m) =>
                             EmbedAsChild m (XMLGenT m1 c)
-        -- Defined at T4485.hs:29:10-68
+        -- Defined at T4485.hs:29:10
       instance [overlap ok] EmbedAsChild
                               (IdentityT IO) (XMLGenT Identity ())
-        -- Defined at T4485.hs:42:10-58
+        -- Defined at T4485.hs:42:10
     (The choice depends on the instantiation of `m0'
      To pick the first instance above, use -XIncoherentInstances
      when compiling the other instance declarations)
index b6276a5..0f286f9 100644 (file)
@@ -1,5 +1,5 @@
 
 mod44.hs:4:10:
     Duplicate instance declarations:
-      instance Eq T -- Defined at mod44.hs:4:10-13
-      instance Eq T -- Defined at mod44.hs:5:10-13
+      instance Eq T -- Defined at mod44.hs:4:10
+      instance Eq T -- Defined at mod44.hs:5:10
index db74d7a..e33e43f 100644 (file)
@@ -1,5 +1,5 @@
 
 mod51.hs:3:25:
     Duplicate instance declarations:
-      instance Eq T -- Defined at mod51.hs:3:25-26
-      instance Eq T -- Defined at mod51.hs:3:22-23
+      instance Eq T -- Defined at mod51.hs:3:25
+      instance Eq T -- Defined at mod51.hs:3:22
index 23818e8..2359ab3 100644 (file)
@@ -1,5 +1,5 @@
 
 mod52.hs:3:22:
     Duplicate instance declarations:
-      instance Eq T -- Defined at mod52.hs:3:22-23
-      instance Eq T -- Defined at mod52.hs:4:10-13
+      instance Eq T -- Defined at mod52.hs:3:22
+      instance Eq T -- Defined at mod52.hs:4:10
index d9a671b..de88221 100644 (file)
@@ -7,14 +7,14 @@ SafeLang10.hs:8:13:
       arising from a use of `res'
     The matching instance is:
       instance [overlap ok] [safe] Pos [Int]
-        -- Defined at SafeLang10_B.hs:14:10-18
+        -- Defined at SafeLang10_B.hs:14:10
     It is compiled in a Safe module and as such can only
     overlap instances from the same module, however it
     overlaps the following instances from different modules:
-      instance Pos [a] -- Defined at SafeLang10_A.hs:13:10-16
+      instance Pos [a] -- Defined at SafeLang10_A.hs:13:10
     In the expression: res [(1 :: Int)]
     In an equation for `r': r = res [(1 :: Int)]
     In the expression:
       do { let r = res ...;
-             putStrLn $ "Result: " ++ show r;
-             putStrLn $ "Result: " ++ show function }
+           putStrLn $ "Result: " ++ show r;
+           putStrLn $ "Result: " ++ show function }
index 10db900..229b14a 100644 (file)
@@ -1,13 +1,13 @@
-\r
-FailDueToGivenOverlapping.hs:27:9:\r
-    Overlapping instances for E [t0]\r
-      arising from a use of `eop'\r
-    Matching instances:\r
-      instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10-14\r
-    Matching givens (or their superclasses):\r
-      (E [Int])\r
-        bound by the type signature for bar :: E [Int] => () -> ()\r
-        at FailDueToGivenOverlapping.hs:27:1-23\r
-    (The choice depends on the instantiation of `t0')\r
-    In the expression: eop [undefined]\r
-    In an equation for `bar': bar _ = eop [undefined]\r
+
+FailDueToGivenOverlapping.hs:27:9:
+    Overlapping instances for E [t0]
+      arising from a use of `eop'
+    Matching instances:
+      instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
+    Matching givens (or their superclasses):
+      (E [Int])
+        bound by the type signature for bar :: E [Int] => () -> ()
+        at FailDueToGivenOverlapping.hs:27:1-23
+    (The choice depends on the instantiation of `t0')
+    In the expression: eop [undefined]
+    In an equation for `bar': bar _ = eop [undefined]
index 0ca572d..80171d3 100644 (file)
@@ -2,6 +2,6 @@
 T2307.hs:11:11:
     Functional dependencies conflict between instance declarations:
       instance [incoherent] C Int (Maybe String) Float
-        -- Defined at T2307.hs:11:11-36
+        -- Defined at T2307.hs:11:11
       instance [incoherent] C Int (Maybe Bool) Double
-        -- Defined at T2307.hs:12:11-37
+        -- Defined at T2307.hs:12:11
index 7ada03b..af50aea 100644 (file)
@@ -3,62 +3,62 @@ T5095.hs:9:11:
     Overlapping instances for Eq a
       arising from a use of `=='
     Matching instances:
-      instance [overlap ok] Show a => Eq a -- Defined at T5095.hs:5:10-23
-      instance Eq () -- Defined in GHC.Classes
-      instance (Eq a, Eq b) => Eq (a, b) -- Defined in GHC.Classes
+      instance [overlap ok] Show a => Eq a -- Defined at T5095.hs:5:10
+      instance Eq () -- Defined in `GHC.Classes'
+      instance (Eq a, Eq b) => Eq (a, b) -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c) => Eq (a, b, c)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) =>
                Eq (a, b, c, d, e, f)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) =>
                Eq (a, b, c, d, e, f, g)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) =>
                Eq (a, b, c, d, e, f, g, h)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) =>
                Eq (a, b, c, d, e, f, g, h, i)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
                 Eq j) =>
                Eq (a, b, c, d, e, f, g, h, i, j)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
                 Eq j, Eq k) =>
                Eq (a, b, c, d, e, f, g, h, i, j, k)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
                 Eq j, Eq k, Eq l) =>
                Eq (a, b, c, d, e, f, g, h, i, j, k, l)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
                 Eq j, Eq k, Eq l, Eq m) =>
                Eq (a, b, c, d, e, f, g, h, i, j, k, l, m)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
                 Eq j, Eq k, Eq l, Eq m, Eq n) =>
                Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
-        -- Defined in GHC.Classes
+        -- Defined in `GHC.Classes'
       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
                 Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) =>
                Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
-        -- Defined in GHC.Classes
-      instance Eq GHC.Generics.Arity -- Defined in GHC.Classes
-      instance Eq GHC.Generics.Associativity -- Defined in GHC.Classes
-      instance Eq Bool -- Defined in GHC.Classes
-      instance Eq Char -- Defined in GHC.Classes
-      instance Eq Double -- Defined in GHC.Classes
-      instance Eq GHC.Generics.Fixity -- Defined in GHC.Classes
-      instance Eq Float -- Defined in GHC.Classes
-      instance Eq Int -- Defined in GHC.Classes
-      instance Eq Ordering -- Defined in GHC.Classes
-      instance Eq a => Eq [a] -- Defined in GHC.Classes
-      instance Eq Integer -- Defined in integer-gmp:GHC.Integer.Type
+        -- Defined in `GHC.Classes'
+      instance Eq GHC.Generics.Arity -- Defined in `GHC.Classes'
+      instance Eq GHC.Generics.Associativity -- Defined in `GHC.Classes'
+      instance Eq Bool -- Defined in `GHC.Classes'
+      instance Eq Char -- Defined in `GHC.Classes'
+      instance Eq Double -- Defined in `GHC.Classes'
+      instance Eq GHC.Generics.Fixity -- Defined in `GHC.Classes'
+      instance Eq Float -- Defined in `GHC.Classes'
+      instance Eq Int -- Defined in `GHC.Classes'
+      instance Eq Ordering -- Defined in `GHC.Classes'
+      instance Eq a => Eq [a] -- Defined in `GHC.Classes'
+      instance Eq Integer -- Defined in `integer-gmp:GHC.Integer.Type'
     (The choice depends on the instantiation of `a'
      To pick the first instance above, use -XIncoherentInstances
      when compiling the other instance declarations)
index 96cdb4e..714951d 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail023.hs:10:10:
     Duplicate instance declarations:
-      instance A B -- Defined at tcfail023.hs:10:10-12
-      instance A B -- Defined at tcfail023.hs:13:10-12
+      instance A B -- Defined at tcfail023.hs:10:10
+      instance A B -- Defined at tcfail023.hs:13:10
index ed9efb5..1a3bd5d 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail035.hs:6:10:
     Duplicate instance declarations:
-      instance Num NUM -- Defined at tcfail035.hs:6:10-16
-      instance Num NUM -- Defined at tcfail035.hs:7:10-16
+      instance Num NUM -- Defined at tcfail035.hs:6:10
+      instance Num NUM -- Defined at tcfail035.hs:7:10
index 9ce51d2..8107ec9 100644 (file)
@@ -1,8 +1,8 @@
 
 tcfail036.hs:6:10:
     Duplicate instance declarations:
-      instance Num NUM -- Defined at tcfail036.hs:6:10-16
-      instance Num NUM -- Defined at tcfail036.hs:8:10-16
+      instance Num NUM -- Defined at tcfail036.hs:6:10
+      instance Num NUM -- Defined at tcfail036.hs:8:10
 
 tcfail036.hs:9:13:
     Class `Num' used as a type
index 4d3bef9..3ac8e21 100644 (file)
@@ -1,5 +1,5 @@
-\r
-tcfail073.hs:8:10:\r
-    Duplicate instance declarations:\r
-      instance Eq a => Eq (a, b) -- Defined at tcfail073.hs:8:10-25\r
-      instance (Eq a, Eq b) => Eq (a, b) -- Defined in GHC.Classes\r
+
+tcfail073.hs:8:10:
+    Duplicate instance declarations:
+      instance Eq a => Eq (a, b) -- Defined at tcfail073.hs:8:10
+      instance (Eq a, Eq b) => Eq (a, b) -- Defined in `GHC.Classes'
index c0ac91f..b86afb3 100644 (file)
@@ -1,7 +1,6 @@
 
 tcfail096.hs:23:10:
     Functional dependencies conflict between instance declarations:
-      instance Foo (p -> s) (t p) (t s)
-        -- Defined at tcfail096.hs:23:10-38
+      instance Foo (p -> s) (t p) (t s) -- Defined at tcfail096.hs:23:10
       instance Foo ((a, b) -> r) (c a, c b) (c r)
-        -- Defined at tcfail096.hs:24:10-38
+        -- Defined at tcfail096.hs:24:10
index 206bec4..ec21d1f 100644 (file)
@@ -3,6 +3,6 @@ tcfail118.hs:10:29:
     Overlapping instances for Eq Foo
       arising from the 'deriving' clause of a data type declaration
     Matching instances:
-      instance Eq Foo -- Defined at tcfail118.hs:11:25-26
-      instance Eq Foo -- Defined at tcfail118.hs:13:10-15
+      instance Eq Foo -- Defined at tcfail118.hs:11:25
+      instance Eq Foo -- Defined at tcfail118.hs:13:10
     When deriving the instance for (Eq Bar)
index 783331f..700dbb8 100644 (file)
@@ -4,8 +4,8 @@ tcfail121.hs:13:9:
       arising from a use of `op'
     Matching instances:
       instance [overlap ok] Foo a => Foo [a]
-        -- Defined at tcfail121.hs:9:10-25
-      instance [overlap ok] Foo [Int] -- Defined at tcfail121.hs:10:10-18
+        -- Defined at tcfail121.hs:9:10
+      instance [overlap ok] Foo [Int] -- Defined at tcfail121.hs:10:10
     (The choice depends on the instantiation of `a'
      To pick the first instance above, use -XIncoherentInstances
      when compiling the other instance declarations)
index a43f726..4d50063 100644 (file)
@@ -2,6 +2,6 @@
 tcfail202.hs:11:10:
     Functional dependencies conflict between instance declarations:
       instance [incoherent] C Bool Int Float
-        -- Defined at tcfail202.hs:11:10-25
+        -- Defined at tcfail202.hs:11:10
       instance [incoherent] C Char Int Double
-        -- Defined at tcfail202.hs:12:10-26
+        -- Defined at tcfail202.hs:12:10