@@ -78,7 +78,7 @@ addLineNumber maybeSubRegion width n line =
78 if n < 0 then " " else show n
78 if n < 0 then " " else show n
80 lineNumber =
80 lineNumber =
81− replicate (width - length number) ' ' ++ number ++ "│"
81+ replicate (width - length number) ' ' ++ number ++ "|"
83 spacer (R.Region start end) =
83 spacer (R.Region start end) =
84 if R.line start <= n && n <= R.line end then
84 if R.line start <= n && n <= R.line end then