Commit 0ad7cdb3 authored by unknown's avatar unknown
Browse files

Error message wibbles,

following
  a) suppressing kind foralls and arguments
  b) better fundep error messages
parent b275be6b
T2604.hs:7:35:
Can't make a derived instance of ‛Typeable * (DList a)’:
You need DeriveDataTypeable to derive an instance for this class
In the data declaration for ‛DList’
T2604.hs:9:38:
Can't make a derived instance of ‛Typeable * (NList a)’:
You need DeriveDataTypeable to derive an instance for this class
In the newtype declaration for ‛NList’
T2604.hs:7:35:
Can't make a derived instance of ‛Typeable (DList a)’:
You need DeriveDataTypeable to derive an instance for this class
In the data declaration for ‛DList’
T2604.hs:9:38:
Can't make a derived instance of ‛Typeable (NList a)’:
You need DeriveDataTypeable to derive an instance for this class
In the newtype declaration for ‛NList’
T5863a.hs:9:31:
Can't make a derived instance of ‛Typeable * (T Int)’:
Deriving Typeable is not allowed for family instances;
derive Typeable for ‛T’ alone
In the data instance declaration for ‛T’
T5863a.hs:12:32:
Can't make a derived instance of ‛Typeable * (T Bool)’:
Deriving Typeable is not allowed for family instances;
derive Typeable for ‛T’ alone
In the data instance declaration for ‛T’
T5863a.hs:9:31:
Can't make a derived instance of ‛Typeable (T Int)’:
Deriving Typeable is not allowed for family instances;
derive Typeable for ‛T’ alone
In the data instance declaration for ‛T’
T5863a.hs:12:32:
Can't make a derived instance of ‛Typeable (T Bool)’:
Deriving Typeable is not allowed for family instances;
derive Typeable for ‛T’ alone
In the data instance declaration for ‛T’
class Foo (k :: BOX) (a :: k) where
type family Bar (k :: BOX) (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 (k :: BOX) (a :: [k]) :: Bool where
J k ('[] k) = 'False
J k ((':) k h t) = 'True
-- Defined at T7939.hs:17:13
J :: [k] -> Bool
type family K (k :: BOX) (a :: [k]) :: Maybe k where
K k ('[] k) = 'Nothing k
K k ((':) k h t) = 'Just k 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: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
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: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
Overlap15.hs:16:9:
Couldn't match expected type ‛F b [b] Bool’ with actual type ‛Bool’
Relevant bindings include
foo :: Proxy * b -> F b [b] Bool (bound at Overlap15.hs:16:1)
In the expression: False
In an equation for ‛foo’: foo _ = False
Overlap15.hs:16:9:
Couldn't match expected type ‛F b [b] Bool’ with actual type ‛Bool’
Relevant bindings include
foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)
In the expression: False
In an equation for ‛foo’: foo _ = False
Overlap6.hs:15:7:
Couldn't match type ‛x’ with ‛And x 'True’
‛x’ is a rigid type variable bound by
the type signature for
g :: Proxy Bool x -> Proxy Bool (And x 'True)
at Overlap6.hs:14:6
Expected type: Proxy Bool (And x 'True)
Actual type: Proxy Bool x
Relevant bindings include
x :: Proxy Bool x (bound at Overlap6.hs:15:3)
g :: Proxy Bool x -> Proxy Bool (And x 'True)
(bound at Overlap6.hs:15:1)
In the expression: x
In an equation for ‛g’: g x = x
Overlap6.hs:15:7:
Couldn't match type ‛x’ with ‛And x 'True’
‛x’ is a rigid type variable bound by
the type signature for g :: Proxy x -> Proxy (And x 'True)
at Overlap6.hs:14:6
Expected type: Proxy (And x 'True)
Actual type: Proxy x
Relevant bindings include
x :: Proxy x (bound at Overlap6.hs:15:3)
g :: Proxy x -> Proxy (And x 'True) (bound at Overlap6.hs:15:1)
In the expression: x
In an equation for ‛g’: g x = x
T6054.hs:7:14:
No instance for (Bar () '() a0)
arising from an expression type signature
In the first argument of ‛print’, namely
‛(Proxy :: Bar () a => Proxy a)’
In the expression: print (Proxy :: Bar () a => Proxy a)
In an equation for ‛foo’:
foo = print (Proxy :: Bar () a => Proxy a)
T6054.hs:7:14:
No instance for (Bar '() a0)
arising from an expression type signature
In the first argument of ‛print’, namely
‛(Proxy :: Bar () a => Proxy a)’
In the expression: print (Proxy :: Bar () a => Proxy a)
In an equation for ‛foo’:
foo = print (Proxy :: Bar () a => Proxy a)
exists Nothing
:: Floop * (KProxy (Maybe *)) a mp => Existential (Maybe *) mp
exists Nothing :: Floop a mp => Existential mp
T7230.hs:48:32:
Could not deduce ((x :<<= x1) ~ 'True)
from the context (Increasing xs ~ 'True)
bound by the type signature for
crash :: Increasing xs ~ 'True =>
SList Nat xs -> SBool (Increasing xs)
at T7230.hs:47:10-68
or from (xs ~ (':) Nat x xs1)
bound by a pattern with constructor
SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
Sing k x -> Sing [k] xs -> Sing [k] ((':) k x xs),
in an equation for ‛crash’
at T7230.hs:48:8-27
or from (xs1 ~ (':) Nat x1 xs2)
bound by a pattern with constructor
SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
Sing k x -> Sing [k] xs -> Sing [k] ((':) k x xs),
in an equation for ‛crash’
at T7230.hs:48:17-26
Expected type: SBool (Increasing xs)
Actual type: SBool (x :<<= x1)
Relevant bindings include
y :: Sing Nat x1 (bound at T7230.hs:48:23)
x :: Sing Nat x (bound at T7230.hs:48:14)
In the expression: x %:<<= y
In an equation for ‛crash’:
crash (SCons x (SCons y xs)) = x %:<<= y
T7230.hs:48:32:
Could not deduce ((x :<<= x1) ~ 'True)
from the context (Increasing xs ~ 'True)
bound by the type signature for
crash :: Increasing xs ~ 'True => SList xs -> SBool (Increasing xs)
at T7230.hs:47:10-68
or from (xs ~ (x : xs1))
bound by a pattern with constructor
SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
Sing x -> Sing xs -> Sing (x : xs),
in an equation for ‛crash’
at T7230.hs:48:8-27
or from (xs1 ~ (x1 : xs2))
bound by a pattern with constructor
SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
Sing x -> Sing xs -> Sing (x : xs),
in an equation for ‛crash’
at T7230.hs:48:17-26
Expected type: SBool (Increasing xs)
Actual type: SBool (x :<<= x1)
Relevant bindings include
y :: Sing x1 (bound at T7230.hs:48:23)
x :: Sing x (bound at T7230.hs:48:14)
In the expression: x %:<<= y
In an equation for ‛crash’:
crash (SCons x (SCons y xs)) = x %:<<= y
T7438.hs:6:14:
Couldn't match expected type ‛t1’ with actual type ‛t’
‛t’ is untouchable
inside the constraints (t2 ~ t3)
bound by a pattern with constructor
Nil :: forall (k :: BOX) (a :: k). Thrist k a a,
in an equation for ‛go’
at T7438.hs:6:4-6
‛t’ is a rigid type variable bound by
the inferred type of go :: Thrist k t2 t3 -> t -> t1
at T7438.hs:6:1
‛t1’ is a rigid type variable bound by
the inferred type of go :: Thrist k t2 t3 -> t -> t1
at T7438.hs:6:1
Relevant bindings include
acc :: t (bound at T7438.hs:6:8)
go :: Thrist k t2 t3 -> t -> t1 (bound at T7438.hs:6:1)
In the expression: acc
In an equation for ‛go’: go Nil acc = acc
T7438.hs:6:14:
Couldn't match expected type ‛t1’ with actual type ‛t’
‛t’ is untouchable
inside the constraints (t2 ~ t3)
bound by a pattern with constructor
Nil :: forall (a :: k). Thrist a a,
in an equation for ‛go’
at T7438.hs:6:4-6
‛t’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
‛t1’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
Relevant bindings include
acc :: t (bound at T7438.hs:6:8)
go :: Thrist t2 t3 -> t -> t1 (bound at T7438.hs:6:1)
In the expression: acc
In an equation for ‛go’: go Nil acc = acc
T7524.hs:5:15:
Conflicting family instance declarations:
F k k a a -- Defined at T7524.hs:5:15
F k k1 a b -- Defined at T7524.hs:6:15
T7524.hs:5:15:
Conflicting family instance declarations:
F a a -- Defined at T7524.hs:5:15
F a b -- Defined at T7524.hs:6:15
T8132.hs:1:1:
Typeable instances can only be derived; replace the following instance:
instance Typeable * K -- Defined at T8132.hs:6:10
T8132.hs:1:1:
Typeable instances can only be derived; replace the following instance:
instance Typeable K -- Defined at T8132.hs:6:10
T2247.hs:6:10:
Illegal instance declaration for ‛FD a b’
Multiple uses of this instance may be inconsistent
with the functional dependencies of the class.
In the instance declaration for ‛FD a b’
T2247.hs:6:10:
Illegal instance declaration for ‛FD a b’
The liberal coverage condition fails in class ‛FD’
for functional dependency: ‛x -> y’
Reason: ‛a’ do not jointly determine ‛b’
In the instance declaration for ‛FD a b’
tcfail170.hs:7:10:
Illegal instance declaration for ‛C [p] [q]’
(the Coverage Condition fails for one of the functional dependencies;
Use UndecidableInstances to permit this)
In the instance declaration for ‛C [p] [q]’
tcfail170.hs:7:10:
Illegal instance declaration for ‛C [p] [q]’
The coverage condition fails for functional dependency: ‛a -> b’
Reason: ‛[p]’ do not jointly determine ‛[q]’
Using UndecidableInstances might help
In the instance declaration for ‛C [p] [q]’
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