@@ -79,14 +79,14 @@ addError region hint t1 t2 =
79 t1' <- pretty <$> toSrcType t1
79 t1' <- pretty <$> toSrcType t1
80 t2' <- pretty <$> toSrcType t2
80 t2' <- pretty <$> toSrcType t2
81 return . foldr ($+$) P.empty $
81 return . foldr ($+$) P.empty $
82− [ P.text "Type mismatch between the following types:"
82+ [ P.text "Type mismatch between the following types" <+> pretty region <> P.text ":"
83 , P.text ""
83 , P.text ""
84 , P.nest 8 t1'
84 , P.nest 8 t1'
85 , P.text ""
85 , P.text ""
86 , P.nest 8 t2'
86 , P.nest 8 t2'
87 , P.text ""
87 , P.text ""
88 , maybe P.empty (P.nest 4 . P.text) hint
88 , maybe P.empty (P.nest 4 . P.text) hint
89− , P.text " It is related to the expression" <+> pretty region
89+ , P.text " It is related to the following expression:"
90 , P.text ""
90 , P.text ""
91 , P.nest 8 $ A.getRegionDocs region
91 , P.nest 8 $ A.getRegionDocs region