A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / parser / should_fail / T7848.stderr
1
2 T7848.hs:6:1: error:
3     • Occurs check: cannot construct the infinite type:
4         t ~ p0 -> p1 -> A -> A -> A -> A -> p2 -> t
5     • Relevant bindings include x :: t (bound at T7848.hs:6:1)
6
7 T7848.hs:10:9: error:
8     • Couldn't match expected type ‘t’ with actual type ‘a’
9         because type variable ‘a’ would escape its scope
10       This (rigid, skolem) type variable is bound by
11         the type signature for:
12           (&) :: a
13         at T7848.hs:10:9-35
14     • In the SPECIALISE pragma {-# SPECIALIZE (&) :: a #-}
15       In an equation for ‘x’:
16           x (+) ((&)@z) ((:&&) a b) (c :&& d) (e `A` f) (A g h)
17             = y
18             where
19                 infixl 3 `y`
20                 y _ = (&)
21                 {-# INLINE (&) #-}
22                 {-# SPECIALIZE (&) :: a #-}
23                 (&) = x
24     • Relevant bindings include x :: t (bound at T7848.hs:6:1)