Commit 12c8dafb authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Error message wibbles

parent d947d38f
......@@ -6,4 +6,4 @@ _result :: [a] = _
a :: a = _
left :: [a] = _
right :: [a] = _
a :: a -- <no location info>
a :: a -- Defined at <no location info>
......@@ -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'
data Equal a b where
Equal :: Equal a a
-- Defined at T4087.hs:5:6-10
-- Defined at T4087.hs:5:6
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
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'
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
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'
($$$) :: [b -> c] -> [b] -> [c] -- Defined at <interactive>:1:8-10
($$$) :: [b -> c] -> [b] -> [c] -- Defined at <interactive>:1:8
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
data (->) a b -- Defined in GHC.Prim
data (->) a b -- Defined in `GHC.Prim'
data Foo = Foo1 Int | Int `InfixCon` Bool
-- Defined at ghci033.hs:4:6-8
-- Defined at ghci033.hs:4:6
......@@ -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]
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
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
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
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
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
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
......@@ -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)
......
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
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
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment