blob: f7617ee6066a3b95e11e7e674329df550b9cc88e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
T7848.hs:6:1: error:
• Occurs check: cannot construct the infinite type:
t ~ t0 -> t1 -> A -> A -> A -> A -> t2 -> t
• When checking that:
t0 -> t1 -> A -> A -> A -> A -> forall t2. t2 -> t
is more polymorphic than: t
• Relevant bindings include x :: t (bound at T7848.hs:6:1)
T7848.hs:10:9: error:
• Couldn't match expected type ‘t’ with actual type ‘a’
because type variable ‘a’ would escape its scope
This (rigid, skolem) type variable is bound by
the type signature for:
(&) :: a
at T7848.hs:10:9-35
• 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
• Relevant bindings include x :: t (bound at T7848.hs:6:1)
|
