on master help sign in
Limit what is exposed by Reporting.Region
b537946Evan Czaplicki
src/Reporting/Region.hs+6−17
@@ -1,5 +1,10 @@
1{-# LANGUAGE OverloadedStrings #-}
1{-# LANGUAGE OverloadedStrings #-}
2−module Reporting.Region where
2+module Reporting.Region
3+ ( Region(..)
4+ , Position(..)
5+ , merge
6+ )
7+ where
3
8
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) =
32
37
33
38
34
39
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−
51-- JSON
40-- JSON
52
41
53
42