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

Overlap9.hs:10:7:
    Couldn't match expected type ‘F a’ with actual type ‘Int’
    In the expression: length (show x)
    In an equation for ‘g’: g x = length (show x)
    Relevant bindings include
      x :: a (bound at Overlap9.hs:10:3)
      g :: a -> F a (bound at Overlap9.hs:10:1)