blob: ff24ae7b375c4d77e4722b9050b5513e4fec58b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T7848.hs:10:9: error: [GHC-25897]
• Couldn't match expected type ‘Char’ with actual type ‘a’
‘a’ is a rigid type variable bound by
the type signature for:
(&) :: forall a. a
at T7848.hs:10:9-35
• In the pragma: {-# SPECIALIZE (&) :: a #-}
In an equation for ‘x’:
x (+) ((&)@z) ((:&&) a b) (c :&& d) (e `A` f) (A g h)
= y
where
infixl 3 `y`
y _ = (&)
{-# INLINE (&) #-}
{-# SPECIALIZE (&) :: a #-}
(&) = 'c'
|
