Commit ee0ed3ed authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Follow column number changes in tcfail

parent 2a11cb6a
T1633.hs:6:17:
T1633.hs:6:18:
Kind mis-match
The first argument of `Functor' should have kind `* -> *',
but `Bool' has kind `*'
......
T1899.hs:12:28:
T1899.hs:12:29:
Couldn't match expected type `a1'
against inferred type `Proposition a'
`a1' is a rigid type variable bound by
the type signature for `transRHS' at T1899.hs:9:14
the type signature for `transRHS' at T1899.hs:9:15
In the first argument of `Prop', namely `(Auxiliary undefined)'
In the expression: Prop (Auxiliary undefined)
In the expression: [Prop (Auxiliary undefined)]
T2126.hs:5:0:
A newtype must have exactly one constructor, but `X' has none
In the newtype declaration for `X'
T2126.hs:5:1:
A newtype must have exactly one constructor, but `X' has none
In the newtype declaration for `X'
T2307.hs:11:10:
T2307.hs:11:11:
Functional dependencies conflict between instance declarations:
instance [incoherent] C Int (Maybe String) Float
-- Defined at T2307.hs:11:10-35
-- Defined at T2307.hs:11:11-36
instance [incoherent] C Int (Maybe Bool) Double
-- Defined at T2307.hs:12:10-36
-- Defined at T2307.hs:12:11-37
T2414.hs:9:12:
T2414.hs:9:13:
Occurs check: cannot construct the infinite type: b = (Bool, b)
Expected type: b
Inferred type: (Bool, b)
......
T2538.hs:6:0:
T2538.hs:6:1:
Illegal polymorphic or qualified type: (Eq a) => a -> a
Perhaps you intended to use -XRankNTypes or -XRank2Types
In the type signature for `f':
f :: ((Eq a) => a -> a) -> Int
T2538.hs:9:0:
T2538.hs:9:1:
Illegal polymorphic or qualified type: (Eq a) => a -> a
Perhaps you intended to use -XImpredicativeTypes
In the type signature for `g':
g :: [(Eq a) => a -> a] -> Int
T2538.hs:12:0:
T2538.hs:12:1:
Illegal polymorphic or qualified type: (Eq a) => a -> a
In the type signature for `h':
h :: (Ix ((Eq a) => a -> a)) => Int
T2688.hs:1:0:
T2688.hs:1:1:
Couldn't match expected type `s' against inferred type `v'
`s' is a rigid type variable bound by
the class declaration for `VectorSpace' at T2688.hs:5:20
the class declaration for `VectorSpace' at T2688.hs:5:21
`v' is a rigid type variable bound by
the class declaration for `VectorSpace' at T2688.hs:5:18
the class declaration for `VectorSpace' at T2688.hs:5:19
When using functional dependencies to combine
VectorSpace v v, arising from a use of `*^' at T2688.hs:8:13-22
VectorSpace v v, arising from a use of `*^' at T2688.hs:8:14-23
VectorSpace v s,
arising from the class declaration for `VectorSpace'
at T2688.hs:(5,0)-(8,22)
at T2688.hs:(5,1)-(8,23)
T2688.hs:8:13:
T2688.hs:8:14:
Could not deduce (VectorSpace v v)
from the context (VectorSpace v s)
arising from a use of `*^' at T2688.hs:8:13-22
arising from a use of `*^' at T2688.hs:8:14-23
Possible fix:
add (VectorSpace v v) to the context of
the class declaration for `VectorSpace'
In the expression: v *^ (1 / s)
In the definition of `^/': v ^/ s = v *^ (1 / s)
T2688.hs:8:13:
T2688.hs:8:14:
Couldn't match expected type `v' against inferred type `s'
`v' is a rigid type variable bound by
the class declaration for `VectorSpace' at T2688.hs:5:18
the class declaration for `VectorSpace' at T2688.hs:5:19
`s' is a rigid type variable bound by
the class declaration for `VectorSpace' at T2688.hs:5:20
the class declaration for `VectorSpace' at T2688.hs:5:21
In the expression: v *^ (1 / s)
In the definition of `^/': v ^/ s = v *^ (1 / s)
T2688.hs:8:19:
T2688.hs:8:20:
Could not deduce (Fractional v) from the context (VectorSpace v s)
arising from a use of `/' at T2688.hs:8:19-21
arising from a use of `/' at T2688.hs:8:20-22
Possible fix:
add (Fractional v) to the context of
the class declaration for `VectorSpace'
......
T2714.hs:8:4:
Couldn't match expected type `a' against inferred type `f b'
`a' is a rigid type variable bound by
the type signature for `f' at T2714.hs:7:7
In the expression: fmap
In the definition of `f': f = fmap
T2714.hs:8:4:
Couldn't match expected type `c'
against inferred type `f (f b -> b)'
`c' is a rigid type variable bound by
the polymorphic type `forall c. c -> a' at T2714.hs:8:4
In the expression: fmap
In the definition of `f': f = fmap
T2714.hs:8:5:
Couldn't match expected type `a' against inferred type `f b'
`a' is a rigid type variable bound by
the type signature for `f' at T2714.hs:7:8
In the expression: fmap
In the definition of `f': f = fmap
T2714.hs:8:5:
Couldn't match expected type `c'
against inferred type `f (f b -> b)'
`c' is a rigid type variable bound by
the polymorphic type `forall c. c -> a' at T2714.hs:8:5
In the expression: fmap
In the definition of `f': f = fmap
T2806.hs:13:10:
T2806.hs:13:11:
Warning: Bindings containing unlifted types must use an outermost bang pattern:
{ (I# _x) = 4 }
*** This will be an error in GHC 6.14! Fix your code now!
......
T2994.hs:11:9:
T2994.hs:11:10:
`MonadReader Int' is not applied to enough type arguments
Expected kind `*', but `MonadReader Int' has kind `* -> *'
In the instance declaration for `MonadReader Int'
T2994.hs:13:22:
T2994.hs:13:23:
`Reader' r' is not applied to enough type arguments
The first argument of `MonadReader' should have kind `*',
but `Reader' r' has kind `* -> *'
In the instance declaration for `MonadReader (Reader' r)'
T2994.hs:15:9:
T2994.hs:15:10:
`MonadReader' is applied to too many type arguments
In the instance declaration for `MonadReader r r (Reader' r)'
T3155.hs:13:17:
T3155.hs:13:18:
Illegal symbol '.' in type
Perhaps you intended -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
T3176.hs:9:26:
T3176.hs:9:27:
Cannot use record selector `unES' as a function due to escaped type variables
Probable fix: use pattern-matching syntax instead
In the first argument of `($)', namely `unES'
......
T3323.hs:18:6:
T3323.hs:18:7:
Record update for insufficiently polymorphic field: haDevice :: dev
In the expression: h {haDevice = undefined}
In the definition of `f': f h = h {haDevice = undefined}
T3406.hs:11:5:
The type variables `a, b'
should be bound by the pattern signature `ItemColID a b'
but are actually discarded by a type synonym
To fix this, expand the type synonym
[Note: I hope to lift this restriction in due course]
In the pattern: x :: ItemColID a b
In the definition of `get':
get (x :: ItemColID a b) = x :: ItemColID a b
T3406.hs:11:6:
The type variables `a, b'
should be bound by the pattern signature `ItemColID a b'
but are actually discarded by a type synonym
To fix this, expand the type synonym
[Note: I hope to lift this restriction in due course]
In the pattern: x :: ItemColID a b
In the definition of `get':
get (x :: ItemColID a b) = x :: ItemColID a b
T3468.hs-boot:3:5:
T3468.hs-boot:3:6:
Type constructor `Tool' has conflicting definitions in the module and its hs-boot file
Main module: data Tool d
RecFlag Recursive
......
T3540.hs:4:11:
T3540.hs:4:12:
Predicate used as a type: a ~ Int
In the type signature for `thing':
thing :: a ~ Int
T3540.hs:7:19:
T3540.hs:7:20:
Predicate used as a type: a ~ Int
In the type signature for `thing1':
thing1 :: Int -> (a ~ Int)
T3540.hs:10:12:
T3540.hs:10:13:
Predicate used as a type: a ~ Int
In the type signature for `thing2':
thing2 :: (a ~ Int) -> Int
T3540.hs:13:11:
T3540.hs:13:12:
Predicate used as a type: ?dude :: Int
In the type signature for `thing3':
thing3 :: (?dude :: Int) -> Int
T3540.hs:16:10:
T3540.hs:16:11:
Class `Eq' used as a type
In the type signature for `thing4':
thing4 :: (Eq a) -> Int
T3613.hs:14:19:
Couldn't match expected type `Maybe a'
against inferred type `IO ()'
In the first argument of `(>>)', namely `bar'
In the first argument of `fooThen', namely `(bar >> undefined)'
In the expression: fooThen (bar >> undefined)
T3613.hs:17:23:
Couldn't match expected type `Maybe a'
against inferred type `IO ()'
In a stmt of a 'do' expression: bar
In the first argument of `fooThen', namely
`(do { bar;
undefined })'
In the expression:
fooThen
(do { bar;
undefined })
T3613.hs:14:20:
Couldn't match expected type `Maybe a'
against inferred type `IO ()'
In the first argument of `(>>)', namely `bar'
In the first argument of `fooThen', namely `(bar >> undefined)'
In the expression: fooThen (bar >> undefined)
T3613.hs:17:24:
Couldn't match expected type `Maybe a'
against inferred type `IO ()'
In a stmt of a 'do' expression: bar
In the first argument of `fooThen', namely
`(do { bar;
undefined })'
In the expression:
fooThen
(do { bar;
undefined })
fd-loop.hs:12:0:
Variable occurs more often in a constraint than in the instance head
in the constraint: C a b
(Use -XUndecidableInstances to permit this)
In the instance declaration for `Eq (T a)'
fd-loop.hs:12:0:
Variable occurs more often in a constraint than in the instance head
in the constraint: Eq b
(Use -XUndecidableInstances to permit this)
In the instance declaration for `Eq (T a)'
fd-loop.hs:12:1:
Variable occurs more often in a constraint than in the instance head
in the constraint: C a b
(Use -XUndecidableInstances to permit this)
In the instance declaration for `Eq (T a)'
fd-loop.hs:12:1:
Variable occurs more often in a constraint than in the instance head
in the constraint: Eq b
(Use -XUndecidableInstances to permit this)
In the instance declaration for `Eq (T a)'
tcfail001.hs:9:1:
tcfail001.hs:9:2:
The equation(s) for `op' have one argument,
but its type `[a]' has none
In the instance declaration for `A [a]'
tcfail002.hs:4:6:
tcfail002.hs:4:7:
Occurs check: cannot construct the infinite type: t = [t]
Expected type: t
Inferred type: [t]
......
Supports Markdown
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