Commit 8f157fb5 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Error message wibbles

parent 69317c73
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 ::
forall c t t1. (Num t, Num t1, Coll c, Elem c ~ (t, t1)) => c -> c
TYPE CONSTRUCTORS
Coll :: * -> Constraint
class Coll c
RecFlag NonRecursive
type family Elem c :: *
empty :: c insert :: Elem c -> c -> c
ListColl :: * -> *
data ListColl a
No C type associated
RecFlag NonRecursive
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl :: forall a. Elem (ListColl a) ~# a
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11
FAMILY INSTANCES
type Elem (ListColl a) -- Defined at T3017.hs:13:9
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 ::
forall c t t1. (Num t, Num t1, Coll c, Elem c ~ (t, t1)) => c -> c
TYPE CONSTRUCTORS
Coll :: * -> Constraint
class Coll c
RecFlag NonRecursive
type family Elem c :: *
empty :: c insert :: Elem c -> c -> c
ListColl :: * -> *
data ListColl a
No C type associated
RecFlag NonRecursive, Promotable
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl :: forall a. Elem (ListColl a) ~# a
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11
FAMILY INSTANCES
type Elem (ListColl a) -- Defined at T3017.hs:13:9
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
T5716.hs:13:33:
`U1' of type `DF Int -> U' is not promotable
In the type `I (U1 DFInt)'
In the definition of data constructor `I1'
In the data declaration for `I'
T5716.hs:13:11:
`U' of kind `*' is not promotable
In the kind `U -> *'
TYPE SIGNATURES
foo ::
forall s b chain.
Zork s (Z [Char]) b =>
Q s (Z [Char]) chain -> ST s ()
s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
TYPE CONSTRUCTORS
Q :: * -> * -> * -> *
data Q s a chain
No C type associated
RecFlag NonRecursive
= Node :: forall s a chain. s -> a -> chain -> Q s a chain
Stricts: _ _ _
FamilyInstance: none
Z :: * -> *
data Z a
No C type associated
RecFlag NonRecursive
= Z :: forall a. a -> Z a Stricts: _
FamilyInstance: none
Zork :: * -> * -> * -> Constraint
class Zork s a b | a -> b
RecFlag NonRecursive
huh :: forall chain. Q s a chain -> ST s ()
COERCION AXIOMS
axiom ShouldCompile.NTCo:Zork ::
forall s a b. Zork s a b ~# (forall chain. Q s a chain -> ST s ())
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
TYPE SIGNATURES
foo ::
forall s b chain.
Zork s (Z [Char]) b =>
Q s (Z [Char]) chain -> ST s ()
s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
TYPE CONSTRUCTORS
Q :: * -> * -> * -> *
data Q s a chain
No C type associated
RecFlag NonRecursive, Promotable
= Node :: forall s a chain. s -> a -> chain -> Q s a chain
Stricts: _ _ _
FamilyInstance: none
Z :: * -> *
data Z a
No C type associated
RecFlag NonRecursive, Promotable
= Z :: forall a. a -> Z a Stricts: _
FamilyInstance: none
Zork :: * -> * -> * -> Constraint
class Zork s a b | a -> b
RecFlag NonRecursive
huh :: forall chain. Q s a chain -> ST s ()
COERCION AXIOMS
axiom ShouldCompile.NTCo:Zork ::
forall s a b. Zork s a b ~# (forall chain. Q s a chain -> ST s ())
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
T3468.hs-boot:3:6:
Type constructor `Tool' has conflicting definitions in the module and its hs-boot file
Main module: data Tool d
No C type associated
RecFlag Recursive
= F :: forall d a r. a -> Tool d Stricts: _
FamilyInstance: none
Boot file: abstract(False) Tool
No C type associated
RecFlag NonRecursive
FamilyInstance: none
T3468.hs-boot:3:6:
Type constructor `Tool' has conflicting definitions in the module and its hs-boot file
Main module: data Tool d
No C type associated
RecFlag Recursive, Promotable
= F :: forall d a r. a -> Tool d Stricts: _
FamilyInstance: none
Boot file: abstract(False) Tool
No C type associated
RecFlag NonRecursive, Not promotable
FamilyInstance: none
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