blob: a026a3a9f97fdf2543a97684be3f1aec6dced447 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
tcfail132.hs:18:37: error:
• Couldn't match kind ‘*’ with ‘* -> *’
Expected kind ‘* -> * -> * -> *’,
but ‘Object f' f t’ has kind ‘* -> * -> *’
• In the first argument of ‘T’, namely ‘(Object f' f t)’
In the type ‘T (Object f' f t) (DUnit t)’
In the type declaration for ‘LiftObject’
tcfail132.hs:18:53: error:
• Couldn't match kind ‘*’ with ‘* -> *’
Expected kind ‘* -> * -> * -> *’,
but ‘DUnit t’ has kind ‘* -> * -> *’
• In the second argument of ‘T’, namely ‘(DUnit t)’
In the type ‘T (Object f' f t) (DUnit t)’
In the type declaration for ‘LiftObject’
|
