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

T8155.hs:26:14: error:
    • Could not deduce ‘Integral (BoundsOf (a -> a))’
        arising from a use of ‘buildV’
      from the context: Num a
        bound by the instance declaration at T8155.hs:25:10-32
    • In the expression: buildV
      In an equation for ‘build'’: build' = buildV
      In the instance declaration for ‘Build (a -> a)’