@@ -1,5 +1,10 @@
11{-# LANGUAGE OverloadedStrings #-}
2−module Reporting.Region where
2+module Reporting.Region
3+ ( Region(..)
4+ , Position(..)
5+ , merge
6+ )
7+ where
38
49import Data.Aeson ((.=))
510import qualified Data.Aeson as Json
@@ -32,22 +37,6 @@ merge (Region start _) (Region _ end) =
3237
3338
3439
35−-- TO STRING
36−
37−
38−toString :: Region -> String
39−toString (Region (Position startLine startColumn) (Position endLine endColumn)) =
40− case startLine == endLine of
41− False ->
42− "between lines " ++ show startLine
43− ++ " and " ++ show endLine
44−
45− True ->
46− "on line " ++ show endLine ++ ", column "
47− ++ show startColumn ++ " to " ++ show endColumn
48−
49−
50−
5140-- JSON
5241
5342