b081ed69b4f9f3b9868daef213c991cad465fe7f
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7786.stderr
1
2 T7786.hs:86:22:
3     Couldn't match type ‘xxx’ with ‘'Empty’
4     Inaccessible code in
5       a pattern with constructor
6         Nil :: forall (k :: BOX). Sing 'Empty,
7       in a pattern binding in
8            'do' block
9     In the pattern: Nil
10     In the pattern: Nil :: Sing xxx
11     In a stmt of a 'do' block:
12       Nil :: Sing xxx <- return
13                            (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)