Improve error messages around kind mismatches.
[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     • In the second argument of ‘($)’, namely ‘a `SBranchX` tr’
12       In the expression: Hide $ a `SBranchX` tr
13       In an equation for ‘nest’:
14           nest (Hide a `Branch` (nest . hmap nest -> Hide tr))
15             = Hide $ a `SBranchX` tr
16     • Relevant bindings include
17         tr :: STree
18                 n
19                 (HTree ('S n) (HTree ('S ('S n)) a))
20                 (STree ('S n) (HTree ('S ('S n)) a) (STree ('S ('S n)) a f))
21                 s1
22           (bound at T12785b.hs:29:49)
23         a :: STree ('S m) a f s (bound at T12785b.hs:29:12)
24         nest :: HTree m (Hidden ('S m) f) -> Hidden m (STree ('S m) a f)
25           (bound at T12785b.hs:27:1)