blob: f37d35628480f517feeb97fae527809509528e6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
T7848.hs:10:9:
Couldn't match expected type ‛forall a. a’
with actual type ‛t -> t1 -> A -> A -> A -> A -> t2’
Relevant bindings include
x :: t -> t1 -> A -> A -> A -> A -> t2 (bound at T7848.hs:6:1)
(+) :: t (bound at T7848.hs:6:3)
(&) :: t1 (bound at T7848.hs:6:8)
z :: t1 (bound at T7848.hs:6:12)
In the SPECIALISE 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 #-}
(&) = x
|
