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


1
2
3
4
5
6
7


T2693.hs:9:16:
    Couldn't match type `TFn a0' with `(a1, b0)'
    Expected type: Maybe (a1, b0)
      Actual type: Maybe (TFn a0)
    In the expression: undefined :: Maybe (TFn a)
    In a pattern binding: Just x = undefined :: Maybe (TFn a)