testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18


GADTwrong1.hs:12:19:
    Could not deduce (b ~ a1)
    from the context (() ~ Const a1)
      bound by a pattern with constructor
                 T :: forall a. a -> T (Const a),
               in a case alternative
      at GADTwrong1.hs:12:12-14
      `b' is a rigid type variable bound by
          the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
      `a1' is a rigid type variable bound by
           a pattern with constructor
             T :: forall a. a -> T (Const a),
           in a case alternative
           at GADTwrong1.hs:12:12
    In the expression: y
    In a case alternative: T y -> y
    In the expression: case T x :: T (Const b) of { T y -> y }