b95b4f817799484307eef9df3d996c835c88c2da
[ghc.git] / testsuite / tests / typecheck / should_fail / T3950.stderr
1
2 T3950.hs:15:13:
3     Couldn't match kind ‛* -> *’ with ‛*’
4     When matching types
5       w :: (* -> * -> *) -> *
6       Sealed :: (* -> *) -> *
7     Expected type: w (Id p)
8       Actual type: Sealed (Id p0 x0)
9     In the first argument of ‛Just’, namely ‛rp'’
10     In the expression: Just rp'
11     In an equation for ‛rp’:
12         rp _
13           = Just rp'
14           where
15               rp' :: Sealed (Id p x)
16               rp' = undefined