blob: 951fa50a0500439025aa93b0ae6c2295d3a16c69 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T21278.hs:7:11: error: [GHC-25897]
• Couldn't match type ‘p’ with ‘Many’
arising from multiplicity of ‘x’
‘p’ is a rigid type variable bound by
a pattern with constructor:
C :: forall a (p :: GHC.Types.Multiplicity). (a %p -> a) %1 -> C a,
in a case alternative
at T21278.hs:7:26-28
• In the first argument of ‘C’, namely
‘(\ x -> case b of C g -> g x)’
In the expression: C (\ x -> case b of C g -> g x)
In an equation for ‘f’: f b = C (\ x -> case b of C g -> g x)
|
