testsuite/tests/gadt/T7293.stderr


1
2
3
4
5
6
7
8
9


T7293.hs:24:5:
    Couldn't match type ‛'False’ with ‛'True’
    Inaccessible code in
      a pattern with constructor
        Nil :: forall a. Vec a 'Zero,
      in an equation for ‛nth’
    In the pattern: Nil
    In an equation for ‛nth’: nth Nil _ = undefined