blob: e89900b0831091a9d49dc5f754503ebf2d046f3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T16512a.hs:41:25: error: [GHC-25897]
• Couldn't match type ‘as’ with ‘a : as’
Expected: AST (ListVariadic (a : as) b)
Actual: AST (ListVariadic as (a -> b))
‘as’ is a rigid type variable bound by
a pattern with constructor:
AnApplication :: forall (as :: [*]) b.
AST (ListVariadic as b) -> ASTs as -> AnApplication b,
in a case alternative
at T16512a.hs:40:9-26
• In the first argument of ‘AnApplication’, namely ‘g’
In the expression: AnApplication g (a `ConsAST` as)
In a case alternative:
AnApplication g as -> AnApplication g (a `ConsAST` as)
• Relevant bindings include
as :: ASTs as (bound at T16512a.hs:40:25)
g :: AST (ListVariadic as (a -> b)) (bound at T16512a.hs:40:23)
a :: AST a (bound at T16512a.hs:38:15)
f :: AST (a -> b) (bound at T16512a.hs:38:10)
|