@@ -62,9 +62,11 @@ addError span message t1 t2 =
62 NoSpan msg -> display msg
62 NoSpan msg -> display msg
63 Span _ _ msg -> display msg
63 Span _ _ msg -> display msg
65+ defaultMessage = "Something is weird is happening with this value:"
65 makeError pt1 pt2 =
67 makeError pt1 pt2 =
66 P.vcat [ P.text $ "Type error" ++ location ++ ":"
68 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
68 , P.text src
70 , P.text src
69 , P.text " Expected Type:" <+> pt1
71 , P.text " Expected Type:" <+> pt1
70 , P.text " Actual Type:" <+> pt2 <> P.text "\n"
72 , P.text " Actual Type:" <+> pt2 <> P.text "\n"