Fix #13819 by refactoring TypeEqOrigin.uo_thing
[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 a 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
24                 n
25                 (HTree ('S n) (HTree ('S ('S n)) a))
26                 (STree ('S n) (HTree ('S ('S n)) a) (STree ('S ('S n)) a f))
27                 s1
28           (bound at T12785b.hs:29:49)
29         a :: STree ('S m) a f s (bound at T12785b.hs:29:12)
30         nest :: HTree m (Hidden ('S m) f) -> Hidden m (STree ('S m) a f)
31           (bound at T12785b.hs:27:1)