Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2627b.stderr
1
2 T2627b.hs:20:24: error:
3     • Occurs check: cannot construct the infinite type:
4         t0 ~ Dual (Dual t0)
5         arising from a use of ‘conn’
6       The type variable ‘t0’ is ambiguous
7     • In the expression: conn undefined undefined
8       In an equation for ‘conn’:
9           conn (Rd k) (Wr a r) = conn undefined undefined