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

Overlap10.hs:10: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:10:1)
      x :: a (bound at Overlap10.hs:10:3)
    In the expression: False
    In an equation for ‛g’: g x = False