@@ -671,7 +671,7 @@ prettyPrintSingleError (PPEOptions codeColor full level showDocs) e = flip evalS
671671 renderSimpleErrorMessage (CannotFindDerivingType nm) =
672672 line $ "Cannot derive a type class instance, because the type declaration for " <> markCode (runProperName nm) <> " could not be found."
673673 renderSimpleErrorMessage (DuplicateLabel l expr) =
674− paras $ [ line $ "Label " <> prettyPrintLabel l <> " appears more than once in a row type." ]
674+ paras $ [ line $ "Label " <> markCode (prettyPrintLabel l) <> " appears more than once in a row type." ]
675675 <> foldMap (\expr' -> [ line "Relevant expression: "
676676 , markCodeBox $ indent $ prettyPrintValue valueDepth expr'
677677 ]) expr
@@ -704,9 +704,9 @@ prettyPrintSingleError (PPEOptions codeColor full level showDocs) e = flip evalS
704704 , markCodeBox $ indent $ typeAsBox ty
705705 ]
706706 renderSimpleErrorMessage (PropertyIsMissing prop) =
707− line $ "Type of expression lacks required label " <> prettyPrintLabel prop <> "."
707+ line $ "Type of expression lacks required label " <> markCode (prettyPrintLabel prop) <> "."
708708 renderSimpleErrorMessage (AdditionalProperty prop) =
709− line $ "Type of expression contains additional label " <> prettyPrintLabel prop <> "."
709+ line $ "Type of expression contains additional label " <> markCode (prettyPrintLabel prop) <> "."
710710 renderSimpleErrorMessage TypeSynonymInstance =
711711 line "Type class instances for type synonyms are disallowed."
712712 renderSimpleErrorMessage (OrphanInstance nm cnm ts) =