Rename Type to CheckType, and note what it's used for in the places it's still used.

Author: axch

dex.cabal

@@ -49,6 +49,7 @@ library
                      , CUDA
                      , Cat
                      , CheapReduction
+                     , CheckType
                      , Core
                      , Err
                      , Export
@@ -75,7 +76,6 @@ library
                      , Syntax
                      , TopLevel
                      , Transpose
-                     , Type
                      , Types.Core
                      , Types.Imp
                      , Types.Primitives

src/lib/Builder.hs

@@ -66,7 +66,7 @@ import qualified Unsafe.Coerce as TrulyUnsafe
 import qualified RawName as R
 import Name
 import Syntax
-import Type
+import CheckType (caseAltsBinderTys)
 import QueryType
 import PPrint (prettyBlock)
 import CheapReduction

src/lib/Type.hs renamed to src/lib/CheckType.hs

@@ -4,7 +4,7 @@
 -- license that can be found in the LICENSE file or at
 -- https://developers.google.com/open-source/licenses/bsd
 
-module Type (
+module CheckType (
   CheckableE (..), CheckableB (..),
   checkTypes, checkTypesM,
   checkExtends, checkedApplyDataDefParams, checkedApplyClassParams,

src/lib/Export.hs

@@ -18,7 +18,7 @@ import Name
 import MTL1
 import Err
 import Syntax
-import Type
+import CheckType (asFirstOrderFunction)
 import QueryType
 import Builder
 import Simplify

src/lib/Imp.hs

@@ -29,7 +29,7 @@ import MTL1
 import Name
 import Builder
 import Syntax
-import Type
+import CheckType (CheckableE (..), checkUnOp, checkBinOp)
 import Simplify
 import LabeledItems
 import QueryType

src/lib/Inference.hs

@@ -34,7 +34,7 @@ import GHC.Generics (Generic (..))
 import Name
 import Builder
 import Syntax hiding (State)
-import Type
+import CheckType (CheckableE (..), checkExtends, checkedApplyClassParams, tryGetType, asNaryPiType)
 import QueryType
 import PPrint (pprintCanonicalized, prettyBlock)
 import CheapReduction

src/lib/Linearize.hs

@@ -16,7 +16,7 @@ import GHC.Stack
 import Name
 import Builder
 import Syntax
-import Type
+import CheckType (isSingletonType)
 import MTL1
 import QueryType
 import Util (bindM2)

src/lib/Simplify.hs

@@ -28,7 +28,7 @@ import Name
 import MTL1
 import Builder
 import Syntax
-import Type
+import CheckType (CheckableE (..), isData)
 import Util (enumerate, foldMapM, restructure)
 import QueryType
 import CheapReduction

src/lib/TopLevel.hs

@@ -45,7 +45,7 @@ import Name
 import Parser
 import Syntax
 import Builder
-import Type
+import CheckType (CheckableE (..), checkTypesM, asFFIFunType, asFirstOrderFunction)
 import SourceRename
 import Inference
 import Simplify

src/lib/Transpose.hs

@@ -12,7 +12,7 @@ import Control.Monad.Reader
 import qualified Data.Set as S
 
 import MTL1
-import Type
+import CheckType (singletonTypeVal)
 import Err
 import Name
 import Syntax