Commit 58bac614 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7696, #7697

parent a0d99928
module T7696 where
f1 :: (m a, t m)
f1 = undefined
f2 :: ((), w ())
f2 = f1
{-
m :: * -> *
t :: (* -> *) -> *
a :: *
w :: * -> *
m a ~ ()
t m ~ w ()
-}
\ No newline at end of file
T7696.hs:7:6:
Couldn't match kind ‛* -> *’ with ‛*’
When matching types
m0 :: * -> *
() :: *
Expected type: ((), w ())
Actual type: (m0 a0, t0 m0)
In the expression: f1
In an equation for ‛f2’: f2 = f1
T7696.hs:7:6:
Couldn't match type ‛m0 a0’ with ‛()’
Expected type: ((), w ())
Actual type: (m0 a0, t0 m0)
In the expression: f1
In an equation for ‛f2’: f2 = f1
module T7697 where
f :: Int => Int
f x = x
T7697.hs:3:6:
Expected a constraint, but ‛Int’ has kind ‛*’
In the type signature for ‛f’: f :: Int => Int
......@@ -298,3 +298,5 @@ test('T7609', normal, compile_fail, [''])
test('T7645', normal, compile_fail, [''])
test('T2354', normal, compile_fail, ['-O'])
test('T7734', normal, compile_fail, [''])
test('T7697', normal, compile_fail, [''])
test('T7696', normal, compile_fail, [''])
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