blob: 9c80704c435ab3ae5bcab274ad1dcc96e4516528 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T7848.hs:10:9: error:
• 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'
|
