blob: 2584b46bda44559ed8c44d1dd2427824f30c94da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail113.hs:12:7:
Expecting one more argument to `Maybe'
Expected kind `*', but `Maybe' has kind `* -> *'
In the type signature for `f': f :: [Maybe]
tcfail113.hs:15:8:
The first argument of `T' should have kind `* -> *',
but `Int' has kind `*'
In the type signature for `g': g :: T Int
tcfail113.hs:18:6:
`Int' is applied to too many type arguments
In the type signature for `h': h :: Int Int
|