-unifyKindCtxt kind1 kind2 sty
- = ppHang (ppPStr SLIT("When unifying two kinds")) 4
- (ppSep [ppr sty kind1, ppPStr SLIT("and"), ppr sty kind2])
-
-kindOccurCheck kind1 kind2 sty
- = ppHang (ppPStr SLIT("Cannot construct the infinite kind:")) 4
- (ppSep [ppBesides [ppChar '`', ppr sty kind1, ppChar '\''],
- ppChar '=',
- ppBesides [ppChar '`', ppr sty kind1, ppChar '\''],
- ppPStr SLIT("(\"occurs check\")")])
-
-kindMisMatchErr kind1 kind2 sty
- = ppHang (ppPStr SLIT("Couldn't match the kind")) 4
- (ppSep [ppBesides [ppChar '`', ppr sty kind1, ppChar '\''],
- ppPStr SLIT("against"),
- ppBesides [ppChar '`', ppr sty kind2, ppChar '\'']
- ])
+unifyKindCtxt kind1 kind2
+ = vcat [ptext SLIT("Expected:") <+> ppr kind1,
+ ptext SLIT("Found: ") <+> ppr kind2]
+
+kindOccurCheck kind1 kind2
+ = hang (ptext SLIT("Cannot construct the infinite kind:")) 4
+ (sep [ppr kind1, equals, ppr kind1, ptext SLIT("(\"occurs check\")")])
+
+kindMisMatchErr kind1 kind2
+ = hang (ptext SLIT("Couldn't match the kind")) 4
+ (sep [ppr kind1,
+ ptext SLIT("against"),
+ ppr kind2]
+ )