@@ -1372,7 +1372,7 @@ badAppendRight localizer category tipe expected =
1372 H.reflow $
1372 H.reflow $
1373 "The (++) operator cannot append these two values:"
1373 "The (++) operator cannot append these two values:"
1375− typeComparison localizer tipe expected
1375+ typeComparison localizer expected tipe
1377 "I already figured out that the left side of (++) is:"
1377 "I already figured out that the left side of (++) is:"