@@ -1,5 +1,10 @@
1{-# LANGUAGE OverloadedStrings #-}
1{-# LANGUAGE OverloadedStrings #-}
2−module Reporting.Region where
2+module Reporting.Region
4import Data.Aeson ((.=))
9import Data.Aeson ((.=))
5import qualified Data.Aeson as Json
10import qualified Data.Aeson as Json
@@ -32,22 +37,6 @@ merge (Region start _) (Region _ end) =
38−toString :: Region -> String
39−toString (Region (Position startLine startColumn) (Position endLine endColumn)) =
40− case startLine == endLine of
42− "between lines " ++ show startLine
43− ++ " and " ++ show endLine
46− "on line " ++ show endLine ++ ", column "
47− ++ show startColumn ++ " to " ++ show endColumn