@@ -62,9 +62,11 @@ addError span message t1 t2 =
6262 NoSpan msg -> display msg
6363 Span _ _ msg -> display msg
6464
65+ defaultMessage = "Something is weird is happening with this value:"
66+
6567 makeError pt1 pt2 =
6668 P.vcat [ P.text $ "Type error" ++ location ++ ":"
67− , if null message then empty else P.vcat . map P.text $ lines message
69+ , P.vcat . map P.text . lines $ if null message then defaultMessage else message
6870 , P.text src
6971 , P.text " Expected Type:" <+> pt1
7072 , P.text " Actual Type:" <+> pt2 <> P.text "\n"