1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00

Merge pull request #334 from github/rename-core-file-to-analysis-file

Rename Core.File to Analysis.File
This commit is contained in:
Patrick Thomson 2019-10-11 17:02:19 -04:00 committed by GitHub
commit bb686ff481
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
11 changed files with 11 additions and 11 deletions

View File

@ -42,6 +42,7 @@ library
exposed-modules:
Analysis.Analysis
Analysis.Concrete
Analysis.File
Analysis.FlowInsensitive
Analysis.ImportGraph
Analysis.ScopeGraph
@ -53,7 +54,6 @@ library
Core.Core.Parser
Core.Core.Pretty
Core.Eval
Core.File
Core.Name
build-depends:
algebraic-graphs ^>= 0.3

View File

@ -12,6 +12,7 @@ module Analysis.Concrete
import qualified Algebra.Graph as G
import qualified Algebra.Graph.Export.Dot as G
import Analysis.Analysis
import Analysis.File
import Control.Applicative (Alternative (..))
import Control.Carrier.Fail.WithLoc
import Control.Effect
@ -20,7 +21,6 @@ import Control.Effect.NonDet
import Control.Effect.Reader hiding (Local)
import Control.Effect.State
import Control.Monad ((<=<), guard)
import Core.File
import Data.Function (fix)
import qualified Data.IntMap as IntMap
import qualified Data.IntSet as IntSet

View File

@ -1,5 +1,5 @@
{-# LANGUAGE DeriveTraversable #-}
module Core.File
module Analysis.File
( File(..)
, fromBody
) where

View File

@ -6,6 +6,7 @@ module Analysis.ImportGraph
) where
import Analysis.Analysis
import Analysis.File
import Analysis.FlowInsensitive
import Control.Applicative (Alternative(..))
import Control.Carrier.Fail.WithLoc
@ -14,7 +15,6 @@ import Control.Effect.Fresh
import Control.Effect.Reader
import Control.Effect.State
import Control.Monad ((>=>))
import Core.File
import Data.Foldable (fold, for_)
import Data.Function (fix)
import Data.List.NonEmpty (nonEmpty)

View File

@ -8,6 +8,7 @@ module Analysis.ScopeGraph
) where
import Analysis.Analysis
import Analysis.File
import Analysis.FlowInsensitive
import Control.Applicative (Alternative (..))
import Control.Carrier.Fail.WithLoc
@ -16,7 +17,6 @@ import Control.Effect.Fresh
import Control.Effect.Reader
import Control.Effect.State
import Control.Monad ((>=>))
import Core.File
import Data.Foldable (fold)
import Data.Function (fix)
import Data.List.NonEmpty

View File

@ -8,6 +8,7 @@ module Analysis.Typecheck
) where
import Analysis.Analysis
import Analysis.File
import Analysis.FlowInsensitive
import Control.Applicative (Alternative (..))
import Control.Carrier.Fail.WithLoc
@ -16,7 +17,6 @@ import Control.Effect.Fresh as Fresh
import Control.Effect.Reader hiding (Local)
import Control.Effect.State
import Control.Monad ((>=>), unless)
import Core.File
import Data.Foldable (for_)
import Data.Function (fix)
import Data.Functor (($>))

View File

@ -8,8 +8,8 @@ module Core.Core.Pretty
, prettyCore
) where
import Analysis.File
import Core.Core
import Core.File
import Core.Name
import Data.Foldable (toList)
import Data.Text.Prettyprint.Doc

View File

@ -11,13 +11,13 @@ module Core.Eval
) where
import Analysis.Analysis
import Analysis.File
import Control.Applicative (Alternative (..))
import Control.Effect.Carrier
import Control.Effect.Fail
import Control.Effect.Reader
import Control.Monad ((>=>))
import Core.Core as Core
import Core.File
import Core.Name
import Data.Functor
import Data.Maybe (fromMaybe)

View File

@ -8,11 +8,11 @@ import Test.Tasty
import Test.Tasty.Hedgehog
import Test.Tasty.HUnit
import Analysis.File
import Core.Core
import Core.Core.Pretty
import Core.Core.Parser as Parse
import qualified Core.Eval as Eval
import Core.File
import Core.Name
import qualified Generators as Gen
import Source.Span

View File

@ -7,8 +7,8 @@ module Instances () where
-- expose in semantic-core proper, yet are important enough that
-- we should keep track of them in a dedicated file.
import Analysis.File
import Analysis.ScopeGraph
import Core.File
import Core.Name (Name (..))
import Data.Aeson
import qualified Data.Map as Map

View File

@ -2,6 +2,7 @@
module Main (main) where
import Analysis.File
import Analysis.ScopeGraph
import Control.Effect
import Control.Effect.Fail
@ -13,7 +14,6 @@ import Control.Monad.Trans.Resource (ResourceT, runResourceT)
import Core.Core
import Core.Core.Pretty
import qualified Core.Eval as Eval
import Core.File
import Core.Name
import qualified Data.Aeson as Aeson
import qualified Data.Aeson.Encode.Pretty as Aeson