@@ -3,7 +3,7 @@ module Reporting.Error.Type where
4import qualified Text.PrettyPrint as P
4import qualified Text.PrettyPrint as P
6−import qualified AST.Type as T
6+import qualified AST.Type as Type
7import qualified Reporting.PrettyPrint as P
7import qualified Reporting.PrettyPrint as P
8import qualified Reporting.Region as Region
8import qualified Reporting.Region as Region
9import qualified Reporting.Report as Report
9import qualified Reporting.Report as Report
@@ -11,14 +11,14 @@ import qualified Reporting.Report as Report
13 = Mismatch Mismatch
13 = Mismatch Mismatch
14− | InfiniteType String T.Canonical
14+ | InfiniteType String Type.Canonical
15− | BadMain T.Canonical
15+ | BadMain Type.Canonical
18data Mismatch = MismatchInfo
18data Mismatch = MismatchInfo
19 { _hint :: Hint
19 { _hint :: Hint
20− , _leftType :: T.Canonical
20+ , _leftType :: Type.Canonical
21− , _rightType :: T.Canonical
21+ , _rightType :: Type.Canonical
22 , _note :: Note
22 , _note :: Note