Commit 42967bc4 authored by dreixel's avatar dreixel
Browse files

Update outputs after renaming the ? and ?? kinds

parent 6f949042
gadt10.hs:6:24:
`RInt' is not applied to enough type arguments
Expected kind `??', but `RInt' has kind `k0 -> *'
Expected kind `ArgKind', but `RInt' has kind `k0 -> *'
In the type `RInt'
In the definition of data constructor `R'
In the data type declaration for `RInt'
SimpleFail14.hs:5:15:
Predicate `a ~ a' used as a type
Expected kind `??', but `a ~ a' has kind `Constraint'
Expected kind `ArgKind', but `a ~ a' has kind `Constraint'
In the type `a ~ a'
In the definition of data constructor `T'
In the data type declaration for `T'
T3540.hs:4:12:
Predicate `a ~ Int' used as a type
Expected kind `??', but `a ~ Int' has kind `Constraint'
Expected kind `ArgKind', but `a ~ Int' has kind `Constraint'
In the type signature for `thing': thing :: a ~ Int
T3540.hs:7:20:
Predicate `a ~ Int' used as a type
Expected kind `?', but `a ~ Int' has kind `Constraint'
Expected kind `OpenKind', but `a ~ Int' has kind `Constraint'
In the type signature for `thing1': thing1 :: Int -> (a ~ Int)
T3540.hs:10:13:
Predicate `a ~ Int' used as a type
Expected kind `??', but `a ~ Int' has kind `Constraint'
Expected kind `ArgKind', but `a ~ Int' has kind `Constraint'
In the type signature for `thing2': thing2 :: (a ~ Int) -> Int
T3540.hs:13:12:
Predicate `?dude :: Int' used as a type
Expected kind `??', but `?dude :: Int' has kind `Constraint'
Expected kind `ArgKind', but `?dude :: Int' has kind `Constraint'
In the type signature for `thing3': thing3 :: (?dude :: Int) -> Int
T3540.hs:16:11:
Predicate `Eq a' used as a type
Expected kind `??', but `Eq a' has kind `Constraint'
Expected kind `ArgKind', but `Eq a' has kind `Constraint'
In the type signature for `thing4': thing4 :: (Eq a) -> Int
T5573a.hs:11:16:
Couldn't match kind `??' against `(#)'
Couldn't match kind `ArgKind' against `(#)'
Kind incompatibility when matching types:
t0 :: ??
t0 :: ArgKind
(# t1, t2 #) :: (#)
In the expression: (# True, False #)
In the expression: (# x, (# True, False #) #)
T5573a.hs:14:6:
Couldn't match kind `??' against `(#)'
Couldn't match kind `ArgKind' against `(#)'
Kind incompatibility when matching types:
t0 :: ??
t0 :: ArgKind
(# t1, t2 #) :: (#)
In the pattern: (# x, y #)
In an equation for `foo3': foo3 (# x, y #) = x
T5573b.hs:6:22:
Kind mis-match
The first argument of an unboxed tuple should have kind `??',
but `(# Double#, Double# #)' has kind `(#)'
In the type signature for `foo':
foo :: Double# -> (# (# Double#, Double# #), Double# #)
T5573b.hs:6:22:
Kind mis-match
The first argument of an unboxed tuple should have kind `ArgKind',
but `(# Double#, Double# #)' has kind `(#)'
In the type signature for `foo':
foo :: Double# -> (# (# Double#, Double# #), Double# #)
tcfail028.hs:4:17:
`A a' is not applied to enough type arguments
Expected kind `??', but `A a' has kind `k0 -> *'
Expected kind `ArgKind', but `A a' has kind `k0 -> *'
In the type `A a'
In the definition of data constructor `B'
In the data type declaration for `A'
tcfail057.hs:5:7:
Predicate `RealFrac a' used as a type
Expected kind `??', but `RealFrac a' has kind `Constraint'
Expected kind `ArgKind', but `RealFrac a' has kind `Constraint'
In the type signature for `f': f :: (RealFrac a) -> a -> a
tcfail087.hs:6:14:
Kind mis-match
Expected kind `??', but `(# Int, Int #)' has kind `(#)'
Expected kind `ArgKind', but `(# Int, Int #)' has kind `(#)'
In the type `(# Int, Int #)'
In the definition of data constructor `Ex'
In the data type declaration for `Ex'
tcfail110.hs:8:30:
`Foo a' is not applied to enough type arguments
Expected kind `??', but `Foo a' has kind `* -> *'
Expected kind `ArgKind', but `Foo a' has kind `* -> *'
In the type signature for `bar':
bar :: String -> (forall a. Foo a) -> IO ()
tcfail115.hs:9:24:
Couldn't match kind `??' against `(#)'
Couldn't match kind `ArgKind' against `(#)'
Kind incompatibility when matching types:
t0 :: ??
t0 :: ArgKind
(# Int, Int #) :: (#)
In the expression: (r :: (# Int, Int #))
In a case alternative: r -> (r :: (# Int, Int #))
......
tcfail134.hs:5:33:
`XML' is not applied to enough type arguments
Expected kind `?', but `XML' has kind `* -> Constraint'
Expected kind `OpenKind', but `XML' has kind `* -> Constraint'
In the type `a -> XML'
In the class declaration for `XML'
tcfail135.hs:6:23:
`f' is not applied to enough type arguments
Expected kind `?', but `f' has kind `k0 -> *'
Expected kind `OpenKind', but `f' has kind `k0 -> *'
In the type `f a -> f'
In the class declaration for `Foo'
tcfail136.hs:9:35:
`SymDict' is not applied to enough type arguments
Expected kind `??', but `SymDict' has kind `* -> *'
Expected kind `ArgKind', but `SymDict' has kind `* -> *'
In the type `SymDict'
In the definition of data constructor `SymTable'
In the data type declaration for `SymTable'
tcfail146.hs:7:22:
Predicate `SClass a' used as a type
Expected kind `??', but `SClass a' has kind `Constraint'
Expected kind `ArgKind', but `SClass a' has kind `Constraint'
In the type `SClass a'
In the definition of data constructor `SCon'
In the data type declaration for `SData'
tcfail147.hs:7:19:
`XClass' is not applied to enough type arguments
Expected kind `??', but `XClass' has kind `k0 -> Constraint'
Expected kind `ArgKind', but `XClass' has kind `k0 -> Constraint'
In the type `XClass'
In the definition of data constructor `XCon'
In the data type declaration for `XData'
tcfail148.hs:5:28:
`List' is not applied to enough type arguments
Expected kind `??', but `List' has kind `* -> *'
Expected kind `ArgKind', but `List' has kind `* -> *'
In the type `List'
In the definition of data constructor `Cons'
In the data type declaration for `List'
tcfail162.hs:10:33:
`ForeignPtr' is not applied to enough type arguments
Expected kind `??', but `ForeignPtr' has kind `* -> *'
Expected kind `ArgKind', but `ForeignPtr' has kind `* -> *'
In the type `{-# UNPACK #-} !ForeignPtr'
In the definition of data constructor `Foo'
In the data type declaration for `Foo'
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