summaryrefslogtreecommitdiff
path: root/testsuite/tests/impredicative/T17332.stderr
blob: 24bb0e2aee1ee634828c9b72c0b8ae1985a6ddab (plain)
1
2
3
4
5

T17332.hs:13:7: error:
    • Could not deduce: a arising from a use of ‘MkDict’
    • In the expression: MkDict
      In an equation for ‘aux’: aux = MkDict