@@ -3,7 +3,7 @@ module Reporting.Error.Type where
33
44import qualified Text.PrettyPrint as P
55
6−import qualified AST.Type as T
6+import qualified AST.Type as Type
77import qualified Reporting.PrettyPrint as P
88import qualified Reporting.Region as Region
99import qualified Reporting.Report as Report
@@ -11,14 +11,14 @@ import qualified Reporting.Report as Report
1111
1212data Error
1313 = Mismatch Mismatch
14− | InfiniteType String T.Canonical
15− | BadMain T.Canonical
14+ | InfiniteType String Type.Canonical
15+ | BadMain Type.Canonical
1616
1717
1818data Mismatch = MismatchInfo
1919 { _hint :: Hint
20− , _leftType :: T.Canonical
21− , _rightType :: T.Canonical
20+ , _leftType :: Type.Canonical
21+ , _rightType :: Type.Canonical
2222 , _note :: Note
2323 }
2424