Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7786.stderr
1
2 T7786.hs:86:22: error:
3     • Couldn't match type ‘xxx’ with ‘'Empty’
4       Inaccessible code in
5         a pattern with constructor: Nil :: forall a. Sing 'Empty,
6         in a pattern binding in
7              'do' block
8     • In the pattern: Nil
9       In the pattern: Nil :: Sing xxx
10       In a stmt of a 'do' block:
11         Nil :: Sing xxx <- return
12                              (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
13
14 T7786.hs:86:49: error:
15     • Couldn't match type ‘xxx’
16                      with ‘Intersect (BuriedUnder sub k 'Empty) inv’
17       Expected type: Sing xxx
18         Actual type: Sing (Intersect (BuriedUnder sub k 'Empty) inv)
19     • In the first argument of ‘return’, namely
20         ‘(buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)’
21       In a stmt of a 'do' block:
22         Nil :: Sing xxx <- return
23                              (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
24       In the expression:
25         do { Nil :: Sing xxx <- return
26                                   (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db);
27              return $ Sub db k sub }
28     • Relevant bindings include
29         sub :: Database sub (bound at T7786.hs:86:13)
30         k :: Sing k (bound at T7786.hs:86:11)
31         db :: Database inv (bound at T7786.hs:86:8)
32         addSub :: Database inv
33                   -> Sing k
34                   -> Database sub
35                   -> Maybe (Database (BuriedUnder sub k inv))
36           (bound at T7786.hs:86:1)