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


1
2
3
4
5
6
7


SimpleFail5b.hs:31:12:
    Couldn't match expected type `Int' with actual type `Char'
      Expected type: S3 Int
        Actual type: S3 Char
    In the pattern: D3Char
    In an equation for `bar3wrong'': bar3wrong' D3Char = 'a'