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

Error message wibbles

parent 4907d7d6
mod41.hs:3:18:
Illegal instance declaration for `Eq (Either a a)'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Eq (Either a a)'
mod42.hs:3:10:
Illegal instance declaration for `Eq a'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Eq a'
......@@ -20,7 +20,7 @@ rebindable6.hs:107:17:
HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t))
arising from a do statement
Possible fix:
add an instance declaration for
add instance declarations for
(HasFail ([Prelude.Char] -> t1),
HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t))
In a stmt of a 'do' expression: Just (b :: b) <- g
......
tcfail019.hs:18:10:
No instance for (B [a])
No instances for (C [a], B [a])
arising from the superclasses of an instance declaration
Possible fix: add an instance declaration for (B [a])
In the instance declaration for `D [a]'
tcfail019.hs:18:10:
No instance for (C [a])
arising from the superclasses of an instance declaration
Possible fix: add an instance declaration for (C [a])
Possible fix: add instance declarations for (C [a], B [a])
In the instance declaration for `D [a]'
tcfail044.hs:5:20:
Illegal instance declaration for `Eq (a -> a)'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Eq (a -> a)'
tcfail044.hs:8:21:
Illegal instance declaration for `Num (a -> a)'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Num (a -> a)'
tcfail047.hs:6:10:
Illegal instance declaration for `A (a, (b, c))'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `A (a, (b, c))'
tcfail063.hs:6:9:
`Num' is not applied to enough type arguments
Expected kind `*', but `Num' has kind `* -> *'
In the type signature for `moby': moby :: Num => Int -> a -> Int
tcfail063.hs:6:9:
`Num' is not applied to enough type arguments
Expected kind `?', but `Num' has kind `* -> *'
In the type signature for `moby': moby :: Num => Int -> a -> Int
tcfail151.hs:7:6:
`Name a' is not applied to enough type arguments
Expected kind `*', but `Name a' has kind `k -> *'
Expected kind `?', but `Name a' has kind `k -> *'
In the data type declaration for `Exp'
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