summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T7786.stderr
blob: 4ce52b45afc67d72470c4eec979174030724e864 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

T7786.hs:86:22:
    Couldn't match type ‘xxx’ with ‘'Empty’
    Inaccessible code in
      a pattern with constructor: Nil :: forall (k :: BOX). Sing 'Empty,
      in a pattern binding in
           'do' block
    In the pattern: Nil
    In the pattern: Nil :: Sing xxx
    In a stmt of a 'do' block:
      Nil :: Sing xxx <- return
                           (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)