Re-engineer Given flatten-skolems
[ghc.git] / testsuite / tests / deriving / should_fail / T7148.stderr
1
2 T7148.hs:27:40: error:
3     • Occurs check: cannot construct the infinite type: b ~ Tagged a b
4         arising from the coercion of the method ‘iso2’
5           from type ‘forall b1. SameType b1 () -> SameType b1 b’
6             to type ‘forall b1. SameType b1 () -> SameType b1 (Tagged a b)’
7     • When deriving the instance for (IsoUnit (Tagged a b))
8
9 T7148.hs:27:40: error:
10     • Occurs check: cannot construct the infinite type: b ~ Tagged a b
11         arising from the coercion of the method ‘iso1’
12           from type ‘forall b1. SameType () b1 -> SameType b b1’
13             to type ‘forall b1. SameType () b1 -> SameType (Tagged a b) b1’
14     • When deriving the instance for (IsoUnit (Tagged a b))