blob: a241305371d924128372849b046b0e864b9ce2ba (
plain)
1
2
3
4
5
6
7
8
9
|
T15577.hs:21:18: error: [GHC-83865]
• Expecting one more argument to ‘f’
Expected a type, but ‘f’ has kind ‘* -> *’
• In the type ‘f’
In a stmt of a pattern guard for
an equation for ‘g’:
Refl <- f @f @a @r r
In an equation for ‘g’: g r | Refl <- f @f @a @r r = Refl
|
