summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr
blob: d33d2f9535e651b3b76b503b0bb4605444c40557 (plain)
1
2
3
4
5
6
7
8
9

SimpleFail16.hs:10:12: error:
    • Couldn't match expected type: p0 a0
                  with actual type: F ()
    • In the first argument of ‘foo’, namely ‘(undefined :: F ())’
      In the expression: foo (undefined :: F ())
      In an equation for ‘bar’: bar = foo (undefined :: F ())
    • Relevant bindings include
        bar :: p0 a0 (bound at SimpleFail16.hs:10:1)