blob: fa3d12a5493df2a3ae767d9c95805b95167aff3b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T15685.hs:13:24: error: [GHC-25897]
• Could not deduce ‘k ~ [k0]’
from the context: as ~ (a : as1)
bound by a pattern with constructor:
Here :: forall {k} (f :: k -> *) (a :: k) (as :: [k]).
f a -> NS f (a : as),
in a pattern synonym declaration
at T15685.hs:13:19-26
‘k’ is a rigid type variable bound by
the inferred type of HereNil :: NS f as
at T15685.hs:13:1-26
• In the pattern: Nil
In the pattern: Here Nil
In the declaration for pattern synonym ‘HereNil’
Suggested fix: Consider giving ‘HereNil’ a type signature
|