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

T2627b.hs:20:24:
    Occurs check: cannot construct the infinite type:
      a0 ~ Dual (Dual a0)
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    In the expression: conn undefined undefined
    In an equation for `conn':
        conn (Rd k) (Wr a r) = conn undefined undefined