Fix error-message suppress on given equalities
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2627b.stderr
1
2 T2627b.hs:20:24: error:
3     • Couldn't match type ‘b0’ with ‘Dual (Dual b0)’
4         arising from a use of ‘conn’
5         ‘b0’ is untouchable
6           inside the constraints: b ~ W e f
7           bound by a pattern with constructor:
8                      Wr :: forall e f. e -> Comm f -> Comm (W e f),
9                    in an equation for ‘conn’
10           at T2627b.hs:20:14-19
11     • In the expression: conn undefined undefined
12       In an equation for ‘conn’:
13           conn (Rd k) (Wr a r) = conn undefined undefined