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

Overlap10.hs:11:7:
    Couldn't match expected type `F a Bool' with actual type `Bool'
    Relevant bindings include
      g :: a -> F a Bool (bound at Overlap10.hs:11:1)
      x :: a (bound at Overlap10.hs:11:3)
    In the expression: False
    In an equation for `g': g x = False