Expose a bit more about reporting Results and Regions
commit4c79ddd25fcf7bc7b0a75b605d762bb99a88d83a
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 31 Oct 2017, 16:05 (9 years ago)
parentfcbda99
src/Reporting/Region.hs+2−2
@@ -15,7 +15,7 @@ data Region =
1515 { _start :: !Position
1616 , _end :: !Position
1717 }
18− deriving (Eq, Show)
18+ deriving (Eq, Ord)
1919
2020
2121data Position =
@@ -23,7 +23,7 @@ data Position =
2323 { _line :: !Int
2424 , _column :: !Int
2525 }
26− deriving (Eq, Show)
26+ deriving (Eq, Ord)
2727
2828
2929merge :: Region -> Region -> Region
src/Reporting/Result.hs+7
@@ -1,10 +1,12 @@
11{-# OPTIONS_GHC -Wall #-}
22module Reporting.Result
33 ( Result(..)
4+ , Answer(..)
45 , ok
56 , throw
67 , accumulate
78 , warn
9+ , untracked
810 , from
911 , mapError
1012 , format
@@ -70,6 +72,11 @@ warn region warning a =
7072-- EXTRACTION HELPERS
7173
7274
75+untracked :: (Monoid i) => Result () w e a -> Result i w e a
76+untracked (Result () warnings answer) =
77+ Result mempty warnings answer
78+
79+
7380from :: (Monoid i) => (e -> e') -> Except [A.Located e] a -> Result i w e' a
7481from f except =
7582 case runExcept except of