Improved formatting for fixity error message.

Cf. #590.
GaloisInc · Jun 24, 2019 · eb7b74a · eb7b74a
1 parent f0e527a
commit eb7b74a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/Cryptol/ModuleSystem/Renamer.hs b/src/Cryptol/ModuleSystem/Renamer.hs
@@ -128,8 +128,10 @@ instance PP RenamerError where
 
     FixityError o1 f1 o2 f2 disp -> fixNameDisp disp $
       hang (text "[error] at" <+> pp (srcRange o1) <+> text "and" <+> pp (srcRange o2))
-         4 (fsep [ text "The fixities of", pp (thing o1), parens (pp f1)
-                 , text "and", pp (thing o2), parens (pp f2)
+         4 (fsep [ text "The fixities of"
+                 , nest 2 $ vcat
+                   [ "•" <+> pp (thing o1) <+> parens (pp f1)
+                   , "•" <+> pp (thing o2) <+> parens (pp f2) ]
                  , text "are not compatible."
                  , text "You may use explicit parentheses to disambiguate." ])