Merge pull request #667 from github/rhea-range

Move & rename the analyses to group them together

Author: robrix

semantic-analysis/semantic-analysis.cabal

@@ -44,24 +44,24 @@ library
   import: common
   hs-source-dirs: src
   exposed-modules:
+    Analysis.Analysis.Concrete
+    Analysis.Analysis.Exception
+    Analysis.Analysis.Typecheck
     Analysis.Blob
     Analysis.Carrier.Fail.WithLoc
     Analysis.Carrier.Store.Monovariant
     Analysis.Carrier.Store.Precise
-    Analysis.Concrete
     Analysis.Data.Snoc
     Analysis.Effect.Domain
     Analysis.Effect.Env
     Analysis.Effect.Store
-    Analysis.Exception
     Analysis.File
     Analysis.FlowInsensitive
     Analysis.Functor.Named
     Analysis.Name
     Analysis.Project
     Analysis.Reference
     Analysis.Syntax
-    Analysis.Typecheck
   build-depends:
     , aeson                       ^>= 1.4
     , base                         >= 4.13 && < 5

…mantic-analysis/src/Analysis/Concrete.hs …alysis/src/Analysis/Analysis/Concrete.hssemantic-analysis/src/Analysis/Concrete.hs renamed to semantic-analysis/src/Analysis/Analysis/Concrete.hs semantic-analysis/src/Analysis/Concrete.hs renamed to semantic-analysis/src/Analysis/Analysis/Concrete.hs

@@ -12,7 +12,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
-module Analysis.Concrete
+module Analysis.Analysis.Concrete
 ( Concrete(..)
 , concrete
 ) where

…antic-analysis/src/Analysis/Exception.hs …lysis/src/Analysis/Analysis/Exception.hssemantic-analysis/src/Analysis/Exception.hs renamed to semantic-analysis/src/Analysis/Analysis/Exception.hs semantic-analysis/src/Analysis/Exception.hs renamed to semantic-analysis/src/Analysis/Analysis/Exception.hs

@@ -4,7 +4,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
-module Analysis.Exception
+module Analysis.Analysis.Exception
 ( Exception(..)
 , ExcSet(..)
 , fromExceptions

…antic-analysis/src/Analysis/Typecheck.hs …lysis/src/Analysis/Analysis/Typecheck.hssemantic-analysis/src/Analysis/Typecheck.hs renamed to semantic-analysis/src/Analysis/Analysis/Typecheck.hs semantic-analysis/src/Analysis/Typecheck.hs renamed to semantic-analysis/src/Analysis/Analysis/Typecheck.hs

@@ -15,7 +15,7 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
-module Analysis.Typecheck
+module Analysis.Analysis.Typecheck
 ( Monotype (..)
 , Meta
 , Polytype (..)