blob: 68e63c416b04530b47df1c36e7177f8e4e4d8aec (
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'
In the type signature for `f': f :: [Maybe]
tcfail113.hs:15:8:
Kind mis-match
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
|