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

T2627b.hs:20:24: error:
    • Occurs check: cannot construct the infinite type:
        t0 ~ Dual (Dual t0)
        arising from a use of ‘conn’
      The type variable ‘t0’ is ambiguous
    • In the expression: conn undefined undefined
      In an equation for ‘conn’:
          conn (Rd k) (Wr a r) = conn undefined undefined