af9ca89b7e324413e5c73024701f62d94508f111
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7786.stderr
1
2 T7786.hs:96:41: error:
3     • Couldn't match type ‘xxx’
4                      with ‘Intersect (BuriedUnder sub k 'Empty) inv’
5       Expected type: Maybe (Sing xxx)
6         Actual type: Maybe
7                        (Sing (Intersect (BuriedUnder sub k 'Empty) inv))
8     • In a stmt of a 'do' block: Nil :: Sing xxx <- foogle db k sub
9       In the expression:
10         do Nil :: Sing xxx <- foogle db k sub
11            return $ Sub db k sub
12       In an equation for ‘addSub’:
13           addSub db k sub
14             = do Nil :: Sing xxx <- foogle db k sub
15                  return $ Sub db k sub
16     • Relevant bindings include
17         sub :: Database sub (bound at T7786.hs:96:13)
18         k :: Sing k (bound at T7786.hs:96:11)
19         db :: Database inv (bound at T7786.hs:96:8)
20         addSub :: Database inv
21                   -> Sing k
22                   -> Database sub
23                   -> Maybe (Database (BuriedUnder sub k inv))
24           (bound at T7786.hs:96:1)
25
26 T7786.hs:97:31: error:
27     • Could not deduce: Intersect (BuriedUnder sub k 'Empty) inv
28                         ~ 'Empty
29         arising from a use of ‘Sub’
30       from the context: xxx ~ 'Empty
31         bound by a pattern with constructor: Nil :: forall a. Sing 'Empty,
32                  in a pattern binding in
33                       'do' block
34         at T7786.hs:96:22-24
35     • In the second argument of ‘($)’, namely ‘Sub db k sub’
36       In a stmt of a 'do' block: return $ Sub db k sub
37       In the expression:
38         do Nil :: Sing xxx <- foogle db k sub
39            return $ Sub db k sub
40     • Relevant bindings include
41         sub :: Database sub (bound at T7786.hs:96:13)
42         k :: Sing k (bound at T7786.hs:96:11)
43         db :: Database inv (bound at T7786.hs:96:8)
44         addSub :: Database inv
45                   -> Sing k
46                   -> Database sub
47                   -> Maybe (Database (BuriedUnder sub k inv))
48           (bound at T7786.hs:96:1)