git.iko.soy/elk
on master help sign in
Attach Localizer only for type errors
f320ceaEvan Czaplicki
compiler/src/Reporting/Error.hs+5−5
compare with master
unifiedsplit
@@ -7,7 +7,6 @@ module Reporting.Error
7 where
7 where
8
8
9
9
10−import qualified Type.Error
11import qualified Reporting.Error.Canonicalize as Canonicalize
10import qualified Reporting.Error.Canonicalize as Canonicalize
12import qualified Reporting.Error.Docs as Docs
11import qualified Reporting.Error.Docs as Docs
13import qualified Reporting.Error.Main as Main
12import qualified Reporting.Error.Main as Main
@@ -15,6 +14,7 @@ import qualified Reporting.Error.Pattern as Pattern
15import qualified Reporting.Error.Syntax as Syntax
14import qualified Reporting.Error.Syntax as Syntax
16import qualified Reporting.Error.Type as Type
15import qualified Reporting.Error.Type as Type
17import qualified Reporting.Render.Code as Code
16import qualified Reporting.Render.Code as Code
17+import qualified Reporting.Render.Type.Localizer as L
18import qualified Reporting.Report as Report
18import qualified Reporting.Report as Report
19
19
20
20
@@ -25,7 +25,7 @@ import qualified Reporting.Report as Report
25data Error
25data Error
26 = Syntax Syntax.Error
26 = Syntax Syntax.Error
27 | Canonicalize Canonicalize.Error
27 | Canonicalize Canonicalize.Error
28− | Type [Type.Error]
28+ | Type L.Localizer [Type.Error]
29 | Main Main.Error
29 | Main Main.Error
30 | Pattern [Pattern.Error]
30 | Pattern [Pattern.Error]
31 | Docs Docs.Error
31 | Docs Docs.Error
@@ -35,8 +35,8 @@ data Error
35-- TO REPORT
35-- TO REPORT
36
36
37
37
38−toReports :: Code.Source -> Type.Error.Localizer -> Error -> [Report.Report]
38+toReports :: Code.Source -> Error -> [Report.Report]
39−toReports source localizer err =
39+toReports source err =
40 case err of
40 case err of
41 Syntax syntaxError ->
41 Syntax syntaxError ->
42 [Syntax.toReport source syntaxError]
42 [Syntax.toReport source syntaxError]
@@ -44,7 +44,7 @@ toReports source localizer err =
44 Canonicalize canonicalizeError ->
44 Canonicalize canonicalizeError ->
45 [Canonicalize.toReport source canonicalizeError]
45 [Canonicalize.toReport source canonicalizeError]
46
46
47− Type typeErrors ->
47+ Type localizer typeErrors ->
48 map (Type.toReport source localizer) typeErrors
48 map (Type.toReport source localizer) typeErrors
49
49
50 Main mainError ->
50 Main mainError ->