@@ -54,14 +54,17 @@ addError region hint t1 t2 =
54 makeError = do
54 makeError = do
55 t1' <- pretty <$> toSrcType t1
55 t1' <- pretty <$> toSrcType t1
56 t2' <- pretty <$> toSrcType t2
56 t2' <- pretty <$> toSrcType t2
57− return . P.vcat $
57+ return . foldr ($+$) P.empty $
58− [ P.text "Type error" <+> pretty region <> P.colon
58+ [ P.text "Type mismatch" <+> pretty region <> P.text "."
59 , maybe P.empty P.text hint
59 , maybe P.empty P.text hint
60 , P.text ""
60 , P.text ""
61 , P.nest 8 $ A.getRegionDocs region
61 , P.nest 8 $ A.getRegionDocs region
62 , P.text ""
62 , P.text ""
63− , P.text " Expected Type:" <+> t1'
63+ , P.text " Something is causing a mismatch between the following types:"
64− , P.text " Actual Type:" <+> t2'
66+ , P.text ""
67switchToPool pool = modifyPool (\_ -> pool)
70switchToPool pool = modifyPool (\_ -> pool)