Commit c5806bf6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Error messsage wibblification

parent 5863ce4e
......@@ -8,7 +8,7 @@ data R
| S {x :: Char}
| T {y :: Int, z :: Float}
| W
-- Defined at T4015.hs:3:6
-- Defined at T4015.hs:3:1
data R = ... | S {...} | ... -- Defined at T4015.hs:4:10
data R = ... | T {...} | ... -- Defined at T4015.hs:5:10
data R = ... | W -- Defined at T4015.hs:6:10
......
data Equal a b where
Equal :: Equal a a
-- Defined at T4087.hs:5:6
-- Defined at T4087.hs:5:1
type family A a b :: * -- Defined at T4175.hs:4:13
type family A a b :: * -- Defined at T4175.hs:4:1
type instance A (Maybe a) a -- Defined at T4175.hs:6:1
type instance A Int Int -- Defined at T4175.hs:5:1
data family B a -- Defined at T4175.hs:8:13
data family B a -- Defined at T4175.hs:8:1
data instance B () -- Defined at T4175.hs:9:15
class C a where
type family D a b :: *
-- Defined at T4175.hs:12:10
-- Defined at T4175.hs:12:5
type D () () -- Defined at T4175.hs:18:5
type D Int () -- Defined at T4175.hs:15:5
type family E a :: * where
E () = Bool
E Int = String
-- Defined at T4175.hs:20:13
-- Defined at T4175.hs:20:1
data () = () -- Defined in ‛GHC.Tuple’
instance C () -- Defined at T4175.hs:17:10
instance Bounded () -- Defined in ‛GHC.Enum’
......
......@@ -3,5 +3,5 @@ data instance C.F (B1 a) = B2 a
data family D a
class C.C1 a where
data family C.F a
-- Defined at T5417a.hs:5:10
-- Defined at T5417a.hs:5:5
data C.F (B1 a) -- Defined at T5417.hs:8:10
data Foo = Foo -- Defined at T5820.hs:2:6
data Foo = Foo -- Defined at T5820.hs:2:1
instance Eq Foo -- Defined at T5820.hs:3:10
data Foo = Foo -- Defined at T5820.hs:2:6
data Foo = Foo -- Defined at T5820.hs:2:1
instance Eq Foo -- Defined at T5820.hs:3:10
data (?) -- Defined at <interactive>:3:6
data (?) -- Defined at <interactive>:3:1
type T = forall a. a -> a -- Defined at <interactive>:3:6
data D = MkT (forall b. b -> b) -- Defined at <interactive>:4:6
type T = forall a. a -> a -- Defined at <interactive>:3:1
data D = MkT (forall b. b -> b) -- Defined at <interactive>:4:1
data D1 where
MkD1 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D1
-- Defined at <interactive>:3:6
-- Defined at <interactive>:3:1
data D2 where
MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2
-- Defined at <interactive>:4:6
-- Defined at <interactive>:4:1
class Foo (a :: k) where
type family Bar (a :: k) b :: *
-- Defined at T7939.hs:6:9
Bar :: k -> * -> *
type family F a :: * -- Defined at T7939.hs:8:13
type instance F Int -- Defined at T7939.hs:9:1
F :: * -> *
type family G a :: * where G Int = Bool
-- Defined at T7939.hs:11:13
G :: * -> *
type family H (a :: Bool) :: Bool where H 'False = 'True
-- Defined at T7939.hs:14:13
H :: Bool -> Bool
type family J (a :: [k]) :: Bool where
J '[] = 'False
J (h : t) = 'True
-- Defined at T7939.hs:17:13
J :: [k] -> Bool
type family K (a :: [k]) :: Maybe k where
K '[] = 'Nothing
K (h : t) = 'Just h
-- Defined at T7939.hs:21:13
K :: [k] -> Maybe k
class Foo (a :: k) where
type family Bar (a :: k) b :: *
-- Defined at T7939.hs:6:4
Bar :: k -> * -> *
type family F a :: * -- Defined at T7939.hs:8:1
type instance F Int -- Defined at T7939.hs:9:1
F :: * -> *
type family G a :: * where G Int = Bool
-- Defined at T7939.hs:11:1
G :: * -> *
type family H (a :: Bool) :: Bool where H 'False = 'True
-- Defined at T7939.hs:14:1
H :: Bool -> Bool
type family J (a :: [k]) :: Bool where
J '[] = 'False
J (h : t) = 'True
-- Defined at T7939.hs:17:1
J :: [k] -> Bool
type family K (a :: [k]) :: Maybe k where
K '[] = 'Nothing
K (h : t) = 'Just h
-- Defined at T7939.hs:21:1
K :: [k] -> Maybe k
data Foo = Foo -- Defined at ghci019.hs:8:6
data Foo = Foo -- Defined at ghci019.hs:8:1
instance Prelude.Eq Foo -- Defined at ghci019.hs:9:10
data D where
C :: (Int -> a) -> Char -> D
-- Defined at ghci030.hs:8:6
-- Defined at ghci030.hs:8:1
data D where
C :: (Int -> a) -> Char -> D
-- Defined at ghci030.hs:8:21
data Eq a => D a = C a -- Defined at ghci031.hs:7:14
data Eq a => D a = C a -- Defined at ghci031.hs:7:1
data Foo = Foo1 Int | Int `InfixCon` Bool
-- Defined at ghci033.hs:4:6
-- Defined at ghci033.hs:4:1
......@@ -4,4 +4,4 @@ a :: Integer -- Defined at <interactive>:6:5
3
data R = B {a :: Int} -- Defined at <interactive>:9:13
data T = A {main::Interactive.a :: Int}
-- Defined at <interactive>:3:6
-- Defined at <interactive>:3:1
data T = C | D -- Defined at <interactive>:9:10
type T' = main::Interactive.T -- Defined at <interactive>:4:6
data T = C | D -- Defined at <interactive>:9:1
type T' = main::Interactive.T -- Defined at <interactive>:4:1
data main::Interactive.T = A | ...
-- Defined at <interactive>:3:10
data main::Interactive.T = B | ...
......
......@@ -5,17 +5,17 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
Coll :: * -> Constraint
class Coll c
Roles: [nominal]
RecFlag NonRecursive
type family Elem c :: *
empty :: c insert :: Elem c -> c -> c
Roles: [nominal]
RecFlag NonRecursive
type family Elem c :: * (open)
empty :: c insert :: Elem c -> c -> c
ListColl :: * -> *
data ListColl a
No C type associated
Roles: [representational]
RecFlag NonRecursive, Promotable
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
No C type associated
Roles: [representational]
RecFlag NonRecursive, Promotable
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
INSTANCES
......
ClosedFam3.hs-boot:5:13:
Type constructor ‛Foo’ has conflicting definitions in the module
and its hs-boot file
Main module: closed type family Foo a :: * where
Foo Int = Bool
Foo Double = Char
Boot file: closed type family Foo a :: * where Foo Int = Bool
ClosedFam3.hs-boot:8:13:
Type constructor ‛Bar’ has conflicting definitions in the module
and its hs-boot file
Main module: closed type family Bar a :: * where
Bar Int = Bool
Bar Double = Double
Boot file: closed type family Bar a :: * where
Bar Int = Bool
Bar Double = Char
ClosedFam3.hs-boot:12:13:
Type constructor ‛Baz’ has conflicting definitions in the module
and its hs-boot file
Main module: closed type family Baz a :: * where Baz Int = Bool
Boot file: closed type family Baz (k::BOX) (a::k) :: * where
Baz Int = Bool
ClosedFam3.hs-boot:5:1:
Type constructor ‛Foo’ has conflicting definitions in the module
and its hs-boot file
Main module: type family Foo a :: * where
Foo Int = Bool
Foo Double = Char
Boot file: type family Foo a :: * where Foo Int = Bool
ClosedFam3.hs-boot:8:1:
Type constructor ‛Bar’ has conflicting definitions in the module
and its hs-boot file
Main module: type family Bar a :: * where
Bar Int = Bool
Bar Double = Double
Boot file: type family Bar a :: * where
Bar Int = Bool
Bar Double = Char
ClosedFam3.hs-boot:12:1:
Type constructor ‛Baz’ has conflicting definitions in the module
and its hs-boot file
Main module: type family Baz a :: * where Baz Int = Bool
Boot file: type family Baz (a :: k) :: * where Baz Int = Bool
......@@ -2,4 +2,4 @@
ClosedFam4.hs:5:1:
You may omit the equations in a closed type family
only in a .hs-boot file
In the family declaration for ‛Foo’
In the type family declaration for ‛Foo’
......@@ -2,4 +2,4 @@
Overlap4.hs:7:3:
Number of parameters must match family declaration; expected 2
In the equations for closed type family ‛F’
In the family declaration for ‛F’
In the type family declaration for ‛F’
mod110.hs:11:10:
Ambiguous occurrence ‛Eq’
It could refer to either ‛M.Eq’, defined at mod110.hs:7:7
It could refer to either ‛M.Eq’, defined at mod110.hs:7:1
or ‛Prelude.Eq’,
imported from ‛Prelude’ at mod110.hs:4:1-14
(and originally defined in ‛GHC.Classes’)
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