@@ -43,16 +43,16 @@ toString location source (A.A region err) =
45 usedSpace =
45 usedSpace =
46− 4 + length tag + length location + 4
46+ 4 + length tag + 1 + length location
48 messageBar =
48 messageBar =
49 "-- " ++ tag ++ " "
49 "-- " ++ tag ++ " "
50 ++ replicate (max 1 (80 - usedSpace)) '-'
50 ++ replicate (max 1 (80 - usedSpace)) '-'
51− ++ " " ++ location ++ " --"
51+ ++ " " ++ location
53 messageBar ++ "\n\n"
53 messageBar ++ "\n\n"
54 ++ R.select region source ++ "\n"
54 ++ R.select region source ++ "\n"
55− ++ hint ++ "\n\n"
55+ ++ hint ++ "\n\n\n"