aac63cf · elk · git.iko.soy

on master help sign in

Improve the type error message a bit

aac63cfEvan Czaplicki11 years ago

src/Reporting/Error/Type.hs+2−1

@@ -48,7 +48,8 @@ toReport err =

48 (subRegion, preHint) = hintToString hint

50 postHint =

51− "During type inference, I am seeing a conflict between this type:\n\n"

51+ "To be more specific, as I infer all the types, I am seeing a conflict between\n"

52+ ++ "this type:\n\n"

52 ++ P.render (P.nest 4 (P.pretty False leftType))

53 ++ P.render (P.nest 4 (P.pretty False leftType))

53 ++ "\n\nand this type:\n\n"

54 ++ "\n\nand this type:\n\n"

54 ++ P.render (P.nest 4 (P.pretty False rightType))

55 ++ P.render (P.nest 4 (P.pretty False rightType))