Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T12785b.stderr
1
2 T12785b.hs:29:63: error:
3     • Could not deduce: Payload ('S n) (Payload n s1) ~ s
4         arising from a use of ‘SBranchX’
5       from the context: m ~ 'S n
6         bound by a pattern with constructor:
7                    Branch :: forall a (n :: Peano).
8                              a -> HTree n (HTree ('S n) a) -> HTree ('S n) a,
9                  in an equation for ‘nest’
10         at T12785b.hs:29:7-51
11       ‘s’ is a rigid type variable bound by
12         a pattern with constructor:
13           Hide :: forall a (n :: Peano) (f :: a -> *) (s :: HTree n a).
14                   STree n f s -> Hidden n f,
15         in an equation for ‘nest’
16         at T12785b.hs:29:7-12
17     • In the second argument of ‘($)’, namely ‘a `SBranchX` tr’
18       In the expression: Hide $ a `SBranchX` tr
19       In an equation for ‘nest’:
20           nest (Hide a `Branch` (nest . hmap nest -> Hide tr))
21             = Hide $ a `SBranchX` tr
22     • Relevant bindings include
23         tr :: STree n (STree ('S n) (STree ('S ('S n)) f)) s1
24           (bound at T12785b.hs:29:49)
25         a :: STree ('S m) f s (bound at T12785b.hs:29:12)
26         nest :: HTree m (Hidden ('S m) f) -> Hidden m (STree ('S m) f)
27           (bound at T12785b.hs:27:1)